External Links

    Journal: it - Information Technology

    Volume 63, Issue 5-6

    249 -- 251Ernst-Rüdiger Olderog, Martin Fränzle, Oliver E. Theel, Paul Kröger. System correctness under adverse conditions
    253 -- 263Maike Schwammberger. Proving properties of autonomous car manoeuvres in urban traffic
    265 -- 275Paul Kröger, Martin Fränzle. Bayesian hybrid automata: Reconciling formal methods with metrology
    277 -- 287Farzaneh Moradkhani, Martin Fränzle. Functional verification of cyber-physical systems containing machine-learnt components
    289 -- 298Erzana Berani Abdelwahab, Martin Fränzle. A sampling-based approach for handling delays in continuous and hybrid systems
    299 -- 310Stephan Adolf, Wolfgang Nebel. Abstraction NBTI model
    311 -- 320Okan Özkan. Infinite-state graph transformation systems under adverse conditions
    321 -- 331Nick Würdemann. Exploiting symmetries of high-level Petri games in distributed synthesis
    runs on