Personensuche
X
?
2023 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C) ,
1
Language Agnostic Model Checking for SDL:
, In:
?
Proceedings of the 12th System Analysis and Modelling Conference ,
2
An attempt to convert BPMN models to SDL:
, In:
?
4
SDL 2007: design for dependable systems
13th International SDL Forum, Paris, France, September 18 -...
Lecture notes in computer science ; 4745