|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
5 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | Concurrent software verification with states, events, and deadlocks |
Chaki, Sagar |
2005 |
17 | 4 |
p. 461-483 |
artikel |
|
| 2 | CSP theorems for communicating B machines |
Schneider, Steve |
2005 |
17 | 4 |
p. 390-422 |
artikel |
|
| 3 | Exploring optimal solution to hardware/software partitioning for synchronous model |
He, Jifeng |
2005 |
17 | 4 |
p. 443-460 |
artikel |
|
| 4 | Guest Editorial Integrated Formal Methods |
Boiten, E. |
2005 |
17 | 4 |
p. 389 |
artikel |
|
| 5 | Refinement and retrenchment for programming language data types |
Beckert, Bernhard |
2005 |
17 | 4 |
p. 423-442 |
artikel |
5 gevonden resultaten