|
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 | Bounded Retransmission in Event-B∥CSP: a Case Study |
Schneider, Steve |
2011 |
280 | C |
p. 69-80 12 p. |
artikel |
|
| 2 | Development of Control Systems Guided by Models of their Environment |
Hudon, Simon |
2011 |
280 | C |
p. 57-68 12 p. |
artikel |
|
| 3 | Event B Development of a Synchronous AADL Scheduler |
Bodeveix, Jean-Paul |
2011 |
280 | C |
p. 23-33 11 p. |
artikel |
|
| 4 | Generating Hierarchical State Based Representation From Event-B Models |
Chaudhari, Dipak L. |
2011 |
280 | C |
p. 35-46 12 p. |
artikel |
|
| 5 | On Using B in the Design of Secure Micro-controllers: An Experience Report |
Benveniste, Marc |
2011 |
280 | C |
p. 3-22 20 p. |
artikel |
|
| 6 | Preface |
Potet, Marie-Laure |
2011 |
280 | C |
p. 1-2 2 p. |
artikel |
|
| 7 | Proving Reachability in B using Substitution Refinement |
Frappier, Marc |
2011 |
280 | C |
p. 47-56 10 p. |
artikel |
|
| 8 | Towards the Composition of Specifications in Event-B |
Silva, Renato |
2011 |
280 | C |
p. 81-93 13 p. |
artikel |
8 gevonden resultaten