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