|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
7 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | A verification-driven framework for iterative design of controllers |
Menghi, Claudio |
2019 |
31 | 5 |
p. 459-502 |
artikel |
|
| 2 | Bernhard Steffen, Oliver R¨uthing, and MichaelHuth: Mathematical Foundations of Advanced Informatics—Volume 1: Inductive Approaches |
Michaelson, Greg |
2019 |
31 | 5 |
p. 641-642 |
artikel |
|
| 3 | Editorial |
Russo, Alessandra |
2019 |
31 | 5 |
p. 457-458 |
artikel |
|
| 4 | Interactive verification of architectural design patterns in FACTum |
Marmsoler, Diego |
2019 |
31 | 5 |
p. 541-610 |
artikel |
|
| 5 | Multiple model synchronization with multiary delta lenses with amendment andK-Putput |
Diskin, Zinovy |
2019 |
31 | 5 |
p. 611-640 |
artikel |
|
| 6 | Multiple model synchronization with multiary delta lenses with amendment andK-Putput |
Diskin, Zinovy |
|
31 | 5 |
p. 611-640 |
artikel |
|
| 7 | Read atomic transactions with prevention of lost updates: ROLA and its formal analysis |
Liu, Si |
2019 |
31 | 5 |
p. 503-540 |
artikel |
7 gevonden resultaten