|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
8 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | A verification and deployment approach for elastic component-based applications |
Graiet, Mohamed |
2017 |
29 | 6 |
p. 987-1011 |
artikel |
|
| 2 | Concurrency-preserving and sound monitoring of multi-threaded component-based systems: theory, algorithms, implementation, and evaluation |
Nazarpour, Hosein |
2017 |
29 | 6 |
p. 951-986 |
artikel |
|
| 3 | Dynamic intransitive noninterference revisited |
Eggert, Sebastian |
2017 |
29 | 6 |
p. 1087-1120 |
artikel |
|
| 4 | Michael J.C. Gordon FRS Professor of Computer Assisted Reasoning (28 February 1948–22 August 2017) |
2017 |
29 | 6 |
p. 933 |
artikel |
||
| 5 | Modeling and efficient verification of wireless ad hoc networks |
Yousefi, Behnaz |
2017 |
29 | 6 |
p. 1051-1086 |
artikel |
|
| 6 | Relating trace refinement and linearizability |
Smith, Graeme |
2017 |
29 | 6 |
p. 935-950 |
artikel |
|
| 7 | Simulation relations for fault-tolerance |
Demasi, Ramiro |
2017 |
29 | 6 |
p. 1013-1050 |
artikel |
|
| 8 | The Turing Guide |
Jones, Cliff B. |
2017 |
29 | 6 |
p. 1121-1122 |
artikel |
8 gevonden resultaten