|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
7 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | Analysing sanity of requirements for avionics systems |
Barnat, Jiří |
2015 |
28 | 1 |
p. 45-63 |
artikel |
|
| 2 | A unified integration and component testing approach from deterministic stream X-machine specifications |
Ipate, Florentin |
2015 |
28 | 1 |
p. 1-20 |
artikel |
|
| 3 | Contract-based verification of MATLAB-style matrix programs |
Wiik, Jonatan |
2016 |
28 | 1 |
p. 79-107 |
artikel |
|
| 4 | Deciding probabilistic automata weak bisimulation: theory and practice |
Ferrer Fioriti, Luis María |
2016 |
28 | 1 |
p. 109-143 |
artikel |
|
| 5 | Generation of complete test suites from mealy input/output transition systems |
Paiva, Sofia Costa |
2015 |
28 | 1 |
p. 65-78 |
artikel |
|
| 6 | Synthesizing structural and behavioral control for reconfigurations in component-based systems |
Khakpour, Narges |
2015 |
28 | 1 |
p. 21-43 |
artikel |
|
| 7 | Verification of $${{EB}^3}$$EB3 specifications using CADP |
Vekris, Dimitris |
2016 |
28 | 1 |
p. 145-178 |
artikel |
7 gevonden resultaten