|
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 | Correction to: Probabilistic state estimation for labeled continuous time Markov models with applications to attack detection |
Lefebvre, Dimitri |
|
32 | 3 |
p. 539-544 |
artikel |
|
| 2 | Detectability of labeled weighted automata over monoids |
Zhang, Kuize |
|
32 | 3 |
p. 435-494 |
artikel |
|
| 3 | Diagnosability verification using LTL model checking |
Tuxi, Thiago M. |
|
32 | 3 |
p. 399-433 |
artikel |
|
| 4 | Epistemic interpretations of decentralized discrete-event system problems |
Ritsuka, K. |
|
32 | 3 |
p. 359-398 |
artikel |
|
| 5 | Max-plus steady states in discrete event dynamic systems with inexact data |
Myšková, Helena |
|
32 | 3 |
p. 521-538 |
artikel |
|
| 6 | Observation-assisted heuristic synthesis of covert attackers against unknown supervisors |
Lin, Liyong |
|
32 | 3 |
p. 495-520 |
artikel |
6 gevonden resultaten