Suchergebnis

• Analyse und Entwurf von Ortungssystemen für den Schienenverkehr mit strukturierten Methoden Leinhos, Dirk Als Ms. gedr., Düsseldorf : VDI-Verl., 1996

• Entwicklung eines rechnerunterstützten Informationssystems für das Qualitätsmanagement Möbus, Matthias Essen : Vulkan-Verl., 1995

• Ein hybrides Fahrzeugreferenzmodell für die Prüfsystementwicklung Grohmann, Dieter Als Ms. gedr., Düsseldorf : VDI-Verl., 1996

• Integrated formal methods 11th international conference, IFM 2014, Bertinoro, Italy, September 9 - 11, 2014 ; proceedings Albert, Elvira (Hrsg.) ; IFM <11., 2014, Bertinoro> Cham [u.a.] : Springer, 2014

• Tools and algorithms for the construction and analysis of systems 22nd international conference, TACAS 2016, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016 : proceedings Chechik, Marsha (Hrsg.) ; Raskin, Jean-François (Hrsg.) ; TACAS <22., 2016, Eindhoven> ; ETAPS <19., 2016, Eindhoven> Berlin : Springer, 2016