|
Journal description
All volumes of the corresponding journal
All issues of the corresponding volume
All articles of the corresponding issues
7 results found
| no | title | author | magazine | year | volume | issue | page(s) | type |
| 1 | Analysing sanity of requirements for avionics systems |
Barnat, Jiří |
2015 |
28 | 1 |
p. 45-63 |
article |
|
| 2 | A unified integration and component testing approach from deterministic stream X-machine specifications |
Ipate, Florentin |
2015 |
28 | 1 |
p. 1-20 |
article |
|
| 3 | Contract-based verification of MATLAB-style matrix programs |
Wiik, Jonatan |
2016 |
28 | 1 |
p. 79-107 |
article |
|
| 4 | Deciding probabilistic automata weak bisimulation: theory and practice |
Ferrer Fioriti, Luis María |
2016 |
28 | 1 |
p. 109-143 |
article |
|
| 5 | Generation of complete test suites from mealy input/output transition systems |
Paiva, Sofia Costa |
2015 |
28 | 1 |
p. 65-78 |
article |
|
| 6 | Synthesizing structural and behavioral control for reconfigurations in component-based systems |
Khakpour, Narges |
2015 |
28 | 1 |
p. 21-43 |
article |
|
| 7 | Verification of $${{EB}^3}$$EB3 specifications using CADP |
Vekris, Dimitris |
2016 |
28 | 1 |
p. 145-178 |
article |
7 results found