3 Titel in Klassifikation (DDC) → Informatik, Informationswissenschaft, allgemeine Werke → Informatik, Wissen, Systeme
Klassifikation
Schliessen
Filter
1

zu den Filteroptionen

Identification of timed behavior models for diagnosis in production systems
Maier, Alexander
2015
Identifying behavior models for hybrid production systems
Vodenčarević, Asmir
2013
Induction-based Verification of Timed Systems
Isenberg, Tobias ; Wehrheim, Heike ; Niggemann, Oliver
Elektronische Ressource, Paderborn, 2016