| nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
| 1 |
Continuous KAOS, ASM, and formal control system design across the continuous/discrete modeling interface: a simple train stopping application
|
Banach, Richard
|
|
2012
|
26 |
2 |
p. 319-366
|
artikel
|
| 2 |
Derivation of concurrent programs by stepwise scheduling of Event-B models
|
Boström, Pontus
|
|
2012
|
26 |
2 |
p. 281-303
|
artikel
|
| 3 |
Discovery of invariants through automated theory formation
|
Llano, Maria Teresa
|
|
2012
|
26 |
2 |
p. 203-249
|
artikel
|
| 4 |
Editorial
|
Boiten, Eerke A.
|
|
2014
|
26 |
2 |
p. 195
|
artikel
|
| 5 |
Introducing extra operations in refinement
|
Boiten, Eerke A.
|
|
2012
|
26 |
2 |
p. 305-317
|
artikel
|
| 6 |
Kaisa Sere: In Memoriam
|
Petre, Luigia
|
|
2013
|
26 |
2 |
p. 197-201
|
artikel
|
| 7 |
Refinement-based verification of implementations of Stateflow charts
|
Miyazawa, Alvaro
|
|
2013
|
26 |
2 |
p. 367-405
|
artikel
|
| 8 |
Relational concurrent refinement part III: traces, partial relations and automata
|
Derrick, John
|
|
2012
|
26 |
2 |
p. 407-432
|
artikel
|
| 9 |
The behavioural semantics of Event-B refinement
|
Schneider, Steve
|
|
2012
|
26 |
2 |
p. 251-280
|
artikel
|
Tijdschrift beschrijving