Cyber-Physical Systems

Publikationen

Seite 10 von 10.

Serge Autexier; Dieter Hutter; Till Mossakowski; Axel Schairer
The Development Graph Manager MAYA
In: Proceedings 9th International Conference on Algebraic Methodology And Software Technology, AMAST2002. International Conference on Algebraic …
Till Mossakowski; Serge Autexier; Dieter Hutter
Extending development graphs with hiding
In: A. Konermann (Hrsg.). Proceedings of Fundamental Approaches to Software Engineering (FASE2001). Fundamental Approaches to Software Engineering …