nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
1 |
A formal validation of the RBAC ANSI 2012 standard using B
|
Huynh, Nghi |
|
2016 |
131 |
C |
p. 76-93 18 p. |
artikel |
2 |
Editorial Board
|
|
|
2016 |
131 |
C |
p. IFC- 1 p. |
artikel |
3 |
Formal development of multi-agent systems using MAZE
|
Li, Qin |
|
2016 |
131 |
C |
p. 126-150 25 p. |
artikel |
4 |
Introduction to the ABZ 2014 special issue
|
Ait-Ameur, Yamine |
|
2016 |
131 |
C |
p. 1-2 2 p. |
artikel |
5 |
Large-scale system development using Abstract Data Types and refinement
|
Fürst, Andreas |
|
2016 |
131 |
C |
p. 59-75 17 p. |
artikel |
6 |
Modular, crash-safe refinement for ASMs with submachines
|
Ernst, Gidon |
|
2016 |
131 |
C |
p. 3-21 19 p. |
artikel |
7 |
Serialisable multi-level transaction control: A specification and verification
|
Börger, Egon |
|
2016 |
131 |
C |
p. 42-58 17 p. |
artikel |
8 |
The correctness of event-B inductive convergence
|
Hallerstede, Stefan |
|
2016 |
131 |
C |
p. 94-108 15 p. |
artikel |
9 |
Towards a comprehensive extension of abstract state machines for aspect-oriented specification
|
Dausend, Marcel |
|
2016 |
131 |
C |
p. 22-41 20 p. |
artikel |
10 |
Translating B to TLA+ for validation with TLC
|
Hansen, Dominik |
|
2016 |
131 |
C |
p. 109-125 17 p. |
artikel |