Personensuche
X
?
Proceedings of the 20th ACM International Conference on Computing Frontiers ,
1
Exploration of Synthesis Methods from Simulink Models to FP..:
, In:
?
Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings ,
3
Model-checking of space systems designed with TASTE/SDL:
, In:
?
IFIP Advances in Information and Communication Technology; Technological Innovation for Life Improvement ,
5
Prospects for the Improvement of Energy Performance in Agro..:
, In:
?
Lecture Notes in Computer Science; Formal Methods – The Next 30 Years ,
6