|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
6 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | Behaviour equivalent max-plus automata for timed petri nets under open-loop race-policy semantics |
Triska, Lukas |
|
31 | 4 |
p. 583-607 |
artikel |
|
| 2 | Comparing the notions of opacity for discrete-event systems |
Balun, Jiří |
|
31 | 4 |
p. 553-582 |
artikel |
|
| 3 | Counter approach for the estimation of optimal sequences in Partially Observable Untimed Petri Nets |
Declerck, P. |
|
31 | 4 |
p. 489-512 |
artikel |
|
| 4 | Failure detection and localization for timed event graphs in (max,+)-algebra |
Le Corronc, Euriell |
|
31 | 4 |
p. 513-552 |
artikel |
|
| 5 | Formal specification and verification of decentralized self-adaptive systems using symmetric nets |
Camilli, Matteo |
|
31 | 4 |
p. 609-657 |
artikel |
|
| 6 | Optimal Modular Control of Discrete Event Systems with Distinguishers and Approximations |
Malik, Robi |
|
31 | 4 |
p. 659-691 |
artikel |
6 gevonden resultaten