|
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 | Dependability analysis of DES based on MARTE and UML state machines models |
Merseguer, José |
2011 |
22 | 2 |
p. 163-178 |
artikel |
|
| 2 | Piecewise constant timed continuous PNs for the steady state estimation of stochastic PNs |
Lefebvre, Dimitri |
2011 |
22 | 2 |
p. 179-196 |
artikel |
|
| 3 | Semantic Translation of Simulink Diagrams to Input/Output Extended Finite Automata |
Zhou, Changyan |
2010 |
22 | 2 |
p. 223-247 |
artikel |
|
| 4 | Special section on software cybernetics |
Boel, Rene |
2012 |
22 | 2 |
p. 221 |
artikel |
|
| 5 | Symbolic Supervisory Control of Infinite Transition Systems Under Partial Observation Using Abstract Interpretation |
Kalyon, Gabriel |
2011 |
22 | 2 |
p. 121-161 |
artikel |
|
| 6 | Using infinitesimal perturbation analysis of stochastic flow models to recover performance sensitivity estimates of discrete event systems |
Yao, Chen |
2011 |
22 | 2 |
p. 197-219 |
artikel |
6 gevonden resultaten