|
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 | Distributed computation of vector clocks in Petri net unfoldings for test selection |
Jezequel, Loïg |
|
30 | 3 |
p. 441-464 |
artikel |
|
| 2 | Modeling for supervisor synthesis – a lock-bridge combination case study |
Reijnen, Ferdie F. H. |
|
30 | 3 |
p. 499-532 |
artikel |
|
| 3 | On detectability of labeled Petri nets and finite automata |
Zhang, Kuize |
|
30 | 3 |
p. 465-497 |
artikel |
|
| 4 | Privacy and safety analysis of timed stochastic discrete event systems using Markovian trajectory-observers |
Lefebvre, Dimitri |
|
30 | 3 |
p. 413-440 |
artikel |
|
| 5 | Refinements of behavioural abstractions for the supervisory control of hybrid systems |
Yang, Jung-Min |
|
30 | 3 |
p. 533-560 |
artikel |
|
| 6 | Submodular optimization problems and greedy strategies: A survey |
Liu, Yajing |
|
30 | 3 |
p. 381-412 |
artikel |
6 gevonden resultaten