|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
8 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | An automated testing experiment for layered embedded C code |
Chetali, Boutheina |
2009 |
11 | 3 |
p. 175-185 |
artikel |
|
| 2 | Encoding a process algebra using the Event B method |
Ait-Ameur, Yamine |
2009 |
11 | 3 |
p. 239-253 |
artikel |
|
| 3 | Flexibility in modeling languages and tools: a call to arms |
Wyk, Eric Van |
2009 |
11 | 3 |
p. 203-215 |
artikel |
|
| 4 | Formalizing interoperability for test case generation purpose |
Desmoulin, Alexandra |
2009 |
11 | 3 |
p. 261-267 |
artikel |
|
| 5 | Guest Editor’s introduction |
Hinchey, Mike |
2009 |
11 | 3 |
p. 173-174 |
artikel |
|
| 6 | Model checking C source code for embedded systems |
Schlich, Bastian |
2009 |
11 | 3 |
p. 187-202 |
artikel |
|
| 7 | Satisfiability solving for software verification |
Déharbe, David |
2009 |
11 | 3 |
p. 255-260 |
artikel |
|
| 8 | System-on-chip design by proof-based refinement |
Cansell, Dominique |
2009 |
11 | 3 |
p. 217-238 |
artikel |
8 gevonden resultaten