|
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 | Collaborative models for autonomous systems controller synthesis |
Fraser, Douglas |
|
32 | 2-3 |
p. 157-186 |
artikel |
|
| 2 | Editorial |
Cavalcanti, Ana |
|
32 | 2-3 |
p. 155 |
artikel |
|
| 3 | Formal Verification of Robotic Cell Injection systems up to 4-DOF using HOL Light |
Rashid, Adnan |
|
32 | 2-3 |
p. 229-250 |
artikel |
|
| 4 | Legislation-driven development of a Gift Aid system using Event-B |
Williams, David M. |
|
32 | 2-3 |
p. 251-273 |
artikel |
|
| 5 | PuRSUE -from specification of robotic environments to synthesis of controllers |
Bersani, Marcello M. |
|
32 | 2-3 |
p. 187-227 |
artikel |
|
| 6 | Runtime enforcement of timed properties usinggames |
Renard, Matthieu |
|
32 | 2-3 |
p. 315-360 |
artikel |
|
| 7 | Theoretical and Practical Approaches to the Denotational Semantics for MDESL based on UTP |
Sheng, Feng |
|
32 | 2-3 |
p. 275-314 |
artikel |
7 gevonden resultaten