Proof-Based Approach to Hybrid Systems Development: Dynamic Logic and Event-B
From MaRDI portal
Publication:5881449
DOI10.1007/978-3-319-91271-4_11OpenAlexW2800102471MaRDI QIDQ5881449
Neeraj Kumar Singh, Marc Pantel, Yamine Ait-Ameur, Guillaume Dupont
Publication date: 10 March 2023
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-319-91271-4_11
Logic in computer science (03B70) 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 (1)
Uses Software
Cites Work
This page was built for publication: Proof-Based Approach to Hybrid Systems Development: Dynamic Logic and Event-B