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

Anzeige der Dokumente 1-9 von 9

«
»

Abstraction NBTI model

Adolf, Stephan; Nebel, Wolfgang
299-310
Bayesian hybrid automata: Reconciling formal methods with metrology

Kröger, Paul; Fränzle, Martin
265-275
Exploiting symmetries of high-level Petri games in distributed synthesis

Würdemann , Nick
321-331
Frontmatter

Frontmatter
I-IV
Functional verification of cyber-physical systems containing machine-learnt components

Moradkhani, Farzaneh; Fränzle, Martin
277-287
Infinite-state graph transformation systems under adverse conditions

Özkan, Okan
311-320
Proving properties of autonomous car manoeuvres in urban traffic

Schwammberger, Maike
253-263
A sampling-based approach for handling delays in continuous and hybrid systems

Berani Abdelwahab, Erzana; Fränzle, Martin
289-298
System correctness under adverse conditions

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

Anzeige der Dokumente 1-9 von 9

«
»