Sibylle Schupp und On-Line - Info zur Person

(1 - 4 von 4

)

A GUI for Real-time Visualization of On-line Model Checking ...

www.ifis.uni-luebeck.de

von A Neuser · · Zitiert von: 6 — Dr. Sibylle Schupp. Dipl.-Ing. Jonas Rinast. Hamburg University of Technology (TUHH). Technische Universität Hamburg-Harburg. › papers › neuser14

Document - DROPS

drops.dagstuhl.de

von X Ma · Zitiert von: 9 — @InProceedings{ma_et_al:OASIcs:2014:4527, author = {Xintao Ma and Jonas Rinast and Sibylle Schupp and Dieter Gollmann}, title = {{Evaluating On-line Model ... › frontdoor

International Journal On Advances in Systems and Measurements, volume...

personales.upv.es

Jonas Rinast, Sibylle Schupp, and Dieter Gollmann keywords: State Space Reconstruction; On-line Model Checking; UPPAAL; Reference Counting; Use-Definition ... › SysMea