|
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 | Collision avoidance for mobile robots with limited sensing and limited information about moving obstacles |
Phan, Dung |
2017 |
51 | 1 |
p. 62-86 |
artikel |
|
| 2 | Formal analysis and offline monitoring of electronic exams |
Kassem, Ali |
2017 |
51 | 1 |
p. 117-153 |
artikel |
|
| 3 | Introduction to the special issue on runtime verification |
Bartocci, Ezio |
2017 |
51 | 1 |
p. 1-4 |
artikel |
|
| 4 | Monitorability for the Hennessy–Milner logic with recursion |
Francalanza, Adrian |
2017 |
51 | 1 |
p. 87-116 |
artikel |
|
| 5 | Predictive runtime enforcement |
Pinisetty, Srinivas |
2017 |
51 | 1 |
p. 154-199 |
artikel |
|
| 6 | Robust online monitoring of signal temporal logic |
Deshmukh, Jyotirmoy V. |
2017 |
51 | 1 |
p. 5-30 |
artikel |
|
| 7 | R2U2: monitoring and diagnosis of security threats for unmanned aerial systems |
Moosbrugger, Patrick |
2017 |
51 | 1 |
p. 31-61 |
artikel |
|
| 8 | Verifying data- and control-oriented properties combining static and runtime verification: theory and tools |
Ahrendt, Wolfgang |
2017 |
51 | 1 |
p. 200-265 |
artikel |
8 gevonden resultaten