Search for persons
X
?
2023 IEEE 31st International Requirements Engineering Conference (RE) ,
1
Shaping a GAIA-X Data Ecosystem through Innovation Modeling:
, In:
?
Lecture Notes in Computer Science; NASA Formal Methods ,
2
Quasi-Equal Clock Reduction On-the-Fly:
, In:
?
Neue Herausforderungen der Sozialen Marktwirtschaft ,
3
Klimaneutrale Wirtschaft gelingt nur durch politische Rahme..:
, In:
?
Formal Methods for Industrial Critical Systems; Lecture Notes in Computer Science ,
4
On Education and Training in Formal Methods for Industrial ..:
, In:
?
Formal Techniques for Distributed Objects, Components, and Systems; Lecture Notes in Computer Science ,
5
On Implementable Timed Automata:
, In:
?
2020 IEEE 32nd Conference on Software Engineering Education and Training (CSEE&T) ,
6
On Complementing an Undergraduate Software Engineering Cour..:
, In:
?
2020 IEEE Workshop on Formal Requirements (FORMREQ) ,
7
Formal Requirements in an Informal World:
, In:
?
Proceedings of the 22nd International Conference on Model Driven Engineering Languages and Systems ,
8