|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
10 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | ASM, controller synthesis, and complete refinement |
Banach, Richard |
2014 |
94 | P2 |
p. 109-129 21 p. |
artikel |
|
| 2 | Formalizing hybrid systems with Event-B and the Rodin Platform |
Su, Wen |
2014 |
94 | P2 |
p. 164-202 39 p. |
artikel |
|
| 3 | Integrating SMT solvers in Rodin |
Déharbe, David |
2014 |
94 | P2 |
p. 130-143 14 p. |
artikel |
|
| 4 | Modeling web applications infrastructure with ASMs |
Gervasi, Vincenzo |
2014 |
94 | P2 |
p. 69-92 24 p. |
artikel |
|
| 5 | Preface: Abstract State Machines, Alloy, B, VDM, and Z. Selected & extended papers from ABZ 2012 |
Riccobene, Elvinia |
2014 |
94 | P2 |
p. 67-68 2 p. |
artikel |
|
| 6 | Preventing arithmetic overflows in Alloy |
Milicevic, Aleksandar |
2014 |
94 | P2 |
p. 203-216 14 p. |
artikel |
|
| 7 | Refinement of decomposed models by interface instantiation |
Hallerstede, Stefan |
2014 |
94 | P2 |
p. 144-163 20 p. |
artikel |
|
| 8 | Revising basic theorem proving algorithms to cope with the logic of partial functions |
Jones, Cliff B. |
2014 |
94 | P2 |
p. 238-252 15 p. |
artikel |
|
| 9 | Supervisory control theory with Alloy |
Fraikin, Benoît |
2014 |
94 | P2 |
p. 217-237 21 p. |
artikel |
|
| 10 | Test generation for sequential nets of Abstract State Machines with information passing |
Arcaini, Paolo |
2014 |
94 | P2 |
p. 93-108 16 p. |
artikel |
10 gevonden resultaten