3 Titel in Besondere Sammlungen → Veröffentlichungen der Universität → Fakultät für Elektrotechnik, Informatik und Mathematik → Institut für Informatik 2
zu den Filteroptionen3 Titel in Besondere Sammlungen → Veröffentlichungen der Universität → Fakultät für Elektrotechnik, Informatik und Mathematik → Institut für Informatik
2
A model-driven software construction approach for cyber-physical systems
Elektronische Ressource, Paderborn, 2018Specification and verification for real-time coordination protocols of cyber-physical systems
Elektronische Ressource, Paderborn, 2017