|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
4 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | Correction to: Formal specification and verification of decentralized self-adaptive systems using symmetric nets |
Camilli, Matteo |
|
32 | 4 |
p. 641 |
artikel |
|
| 2 | Synthesis of winning attacks on communication protocols using supervisory control theory: two case studies |
Matsui, Shoma |
|
32 | 4 |
p. 573-610 |
artikel |
|
| 3 | Using Subobservers to Synthesize Opacity-Enforcing Supervisors |
Moulton, Richard Hugh |
|
32 | 4 |
p. 611-640 |
artikel |
|
| 4 | Zero-sum semi-Markov games with state-action-dependent discount factors |
Yu, Zhihui |
|
32 | 4 |
p. 545-571 |
artikel |
4 gevonden resultaten