Auflistung it - Information Technology 63(5-6) - Oktober 2021 nach Erscheinungsdatum - Digitale Bibliothek - Gesellschaft für Informatik e.V.

Anzeige der Dokumente 1-9 von 9

«
»

Functional verification of cyber-physical systems containing machine-learnt components

Moradkhani, Farzaneh; Fränzle, Martin
277-287
A sampling-based approach for handling delays in continuous and hybrid systems

Berani Abdelwahab, Erzana; Fränzle, Martin
289-298
Proving properties of autonomous car manoeuvres in urban traffic

Schwammberger, Maike
253-263
Infinite-state graph transformation systems under adverse conditions

Özkan, Okan
311-320
Exploiting symmetries of high-level Petri games in distributed synthesis

Würdemann , Nick
321-331
Abstraction NBTI model

Adolf, Stephan; Nebel, Wolfgang
299-310
System correctness under adverse conditions

Olderog, Ernst-Rüdiger; Fränzle, Martin; Theel, Oliver; Kröger, Paul
249-251
Frontmatter

Frontmatter
I-IV
Bayesian hybrid automata: Reconciling formal methods with metrology

Kröger, Paul; Fränzle, Martin
265-275

Anzeige der Dokumente 1-9 von 9

«
»