|
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 | Compositional software verification based on game semantics and process algebra |
Dimovski, Aleksandar |
2006 |
9 | 1 |
p. 37-51 |
artikel |
|
| 2 | CTL-property Transformations along an Incremental Design Process |
Braunstein, Cécile |
2006 |
9 | 1 |
p. 77-88 |
artikel |
|
| 3 | Formal verification of the NASA runway safety monitor |
Siminiceanu, Radu I. |
2006 |
9 | 1 |
p. 63-76 |
artikel |
|
| 4 | Improved verification of hardware designs through antecedent conditioned slicing |
Vasudevan, Shobha |
2006 |
9 | 1 |
p. 89-101 |
artikel |
|
| 5 | Model-checking the preservation of temporal properties upon feature integration |
Guelev, Dimitar P. |
2006 |
9 | 1 |
p. 53-62 |
artikel |
|
| 6 | On the expressiveness of MTL in the pointwise and continuous semantics |
D’Souza, Deepak |
2006 |
9 | 1 |
p. 1-4 |
artikel |
|
| 7 | Some current topics in model checking |
Huth, Michael |
2007 |
9 | 1 |
p. 25-36 |
artikel |
|
| 8 | The FSAP/NuSMV-SA Safety Analysis Platform |
Bozzano, Marco |
2006 |
9 | 1 |
p. 5-24 |
artikel |
8 gevonden resultaten