|
Journal description
All volumes of the corresponding journal
All issues of the corresponding volume
All articles of the corresponding issues
6 results found
| no | title | author | magazine | year | volume | issue | page(s) | type |
| 1 | Distributed computation of vector clocks in Petri net unfoldings for test selection |
Jezequel, Loïg |
|
30 | 3 |
p. 441-464 |
article |
|
| 2 | Modeling for supervisor synthesis – a lock-bridge combination case study |
Reijnen, Ferdie F. H. |
|
30 | 3 |
p. 499-532 |
article |
|
| 3 | On detectability of labeled Petri nets and finite automata |
Zhang, Kuize |
|
30 | 3 |
p. 465-497 |
article |
|
| 4 | Privacy and safety analysis of timed stochastic discrete event systems using Markovian trajectory-observers |
Lefebvre, Dimitri |
|
30 | 3 |
p. 413-440 |
article |
|
| 5 | Refinements of behavioural abstractions for the supervisory control of hybrid systems |
Yang, Jung-Min |
|
30 | 3 |
p. 533-560 |
article |
|
| 6 | Submodular optimization problems and greedy strategies: A survey |
Liu, Yajing |
|
30 | 3 |
p. 381-412 |
article |
6 results found