Automating Verification of Cooperation, Control, and Design in Traffic Applications
DOI10.1007/978-3-540-75221-9_6zbMath1151.68476OpenAlexW2107605643MaRDI QIDQ3526930
Boris Wirtz, Jens Oehlerking, Marc Segelken, Jun Pang, Alfred Mikschl, Werner Damm, André Platzer, Ernst-Ruediger Olderog
Publication date: 25 September 2008
Published in: Formal Methods and Hybrid Real-Time Systems (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-540-75221-9_6
Control/observation systems involving computers (process control, etc.) (93C83) Traffic problems in operations research (90B20) Specification and verification (program logics, model checking, etc.) (68Q60) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30)
Related Items
Uses Software