| nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
| 1 |
Correction to: An integrated specification and verification technique for highly concurrent data structures
|
Abdulla, Parosh Aziz
|
|
|
23 |
5 |
p. 825
|
artikel
|
| 2 |
Correction to: How to model and prove hybrid systems with KeYmaera: a tutorial on safety
|
Quesel, Jan-David
|
|
|
23 |
5 |
p. 827
|
artikel
|
| 3 |
Correction to: Verification of randomized consensus algorithms under round-rigid adversaries
|
Bertrand, Nathalie
|
|
|
23 |
5 |
p. 823
|
artikel
|
| 4 |
Correct program parallelisations
|
Blom, S.
|
|
|
23 |
5 |
p. 741-763
|
artikel
|
| 5 |
CPSDebug: Automatic failure explanation in CPS models
|
Bartocci, Ezio
|
|
|
23 |
5 |
p. 783-796
|
artikel
|
| 6 |
Energy characterization of IoT systems through design aspect monitoring
|
Lekidis, Alexios
|
|
|
23 |
5 |
p. 765-781
|
artikel
|
| 7 |
Model-based optimization of ARINC-653 partition scheduling
|
Han, Pujie
|
|
|
23 |
5 |
p. 721-740
|
artikel
|
| 8 |
On methods and tools for rigorous system design
|
Bliudze, Simon
|
|
|
23 |
5 |
p. 679-684
|
artikel
|
| 9 |
Programming dynamic reconfigurable systems
|
El Ballouli, Rim
|
|
|
23 |
5 |
p. 701-719
|
artikel
|
| 10 |
Specifying and verifying usage control models and policies in TLA+
|
Grompanopoulos, Christos
|
|
|
23 |
5 |
p. 685-700
|
artikel
|
| 11 |
Towards language-to-language transformation
|
Kopetzki, Dawid
|
|
|
23 |
5 |
p. 655-677
|
artikel
|
| 12 |
Verification of randomized consensus algorithms under round-rigid adversaries
|
Bertrand, Nathalie
|
|
|
23 |
5 |
p. 797-821
|
artikel
|
Tijdschrift beschrijving