A Two-Way Path Between Formal and Informal Design of Embedded Systems
DOI10.1007/978-3-319-52228-9_4zbMath1483.68074MaRDI QIDQ2971176
Naijun Zhan, Mengfei Yang, Shu-Ling Wang, Mingshuai Chen, Anders P. Ravn
Publication date: 4 April 2017
Published in: Unifying Theories of Programming (Search for Journal in Brave)
Full work available at URL: http://www.springer.com/us/book/9783319522272
68Q60: Specification and verification (program logics, model checking, etc.)
68N30: Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)
93C30: Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems)
93-10: Mathematical modeling or simulation for problems pertaining to systems and control theory
Uses Software