Personensuche
X
?
Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings ,
1
Model-checking of space systems designed with TASTE/SDL:
, In:
?
Advances in Intelligent Systems and Computing; Proceedings of the 20th Congress of the International Ergonomics Association (IEA 2018) ,
2