3 Titel in Alle Kollektionen
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