| nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
| 1 |
An actor-based framework for asynchronous event-based cyber-physical systems
|
Jahandideh, Iman
|
|
|
20 |
3 |
p. 641-665
|
artikel
|
| 2 |
A systematic literature review of cross-domain model consistency checking by model management tools
|
Torres, Weslley
|
|
|
20 |
3 |
p. 897-916
|
artikel
|
| 3 |
CEViNEdit: improving the process of creating cognitively effective graphical editors with GMF
|
Granada, David
|
|
|
20 |
3 |
p. 867-895
|
artikel
|
| 4 |
Graphical composite modeling and simulation for multi-aircraft collision avoidance
|
Zhu, Feng
|
|
|
20 |
3 |
p. 821-835
|
artikel
|
| 5 |
Guaranteed master for interval-based cosimulation
|
Le Coënt, Adrien
|
|
|
20 |
3 |
p. 711-724
|
artikel
|
| 6 |
Guest editorial to the theme section on Multi-Paradigm Modeling for Cyber-Physical Systems
|
Syriani, Eugene
|
|
|
20 |
3 |
p. 607-609
|
artikel
|
| 7 |
Handling causality and schedulability when designing and prototyping cyber-physical systems
|
Cortés Porto, Rodrigo
|
|
|
20 |
3 |
p. 667-683
|
artikel
|
| 8 |
Implementing QVT-R via semantic interpretation in UML-RSDS
|
Lano, K.
|
|
|
20 |
3 |
p. 725-766
|
artikel
|
| 9 |
Live modeling in the context of state machine models and code generation
|
Bagherzadeh, Mojtaba
|
|
|
20 |
3 |
p. 795-819
|
artikel
|
| 10 |
Modeling in the large: model libraries
|
Gray, Jeff
|
|
|
20 |
3 |
p. 591-593
|
artikel
|
| 11 |
Multi-paradigm modelling for cyber–physical systems: a descriptive framework
|
Amrani, Moussa
|
|
|
20 |
3 |
p. 611-639
|
artikel
|
| 12 |
Pragmatic reuse for DSML development
|
Klikovits, Stefan
|
|
|
20 |
3 |
p. 837-866
|
artikel
|
| 13 |
Predictions-on-chip: model-based training and automated deployment of machine learning models at runtime
|
Pilarski, Sebastian
|
|
|
20 |
3 |
p. 685-709
|
artikel
|
| 14 |
Specifying dynamic software system architectures
|
Selić, Bran
|
|
|
20 |
3 |
p. 595-605
|
artikel
|
| 15 |
Wodel-Test: a model-based framework for language-independent mutation testing
|
Gómez-Abajo, Pablo
|
|
|
20 |
3 |
p. 767-793
|
artikel
|
Tijdschrift beschrijving