Book review of: A. Platzer, Logical foundations of cyber-physical systems

DOI10.1007/S00165-020-00510-7zbMath1451.00040OpenAlexW3011908035MaRDI QIDQ782501

Markus Roggenbach, Alexander Knapp

Publication date: 27 July 2020

Published in: Formal Aspects of Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00165-020-00510-7

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Automated systems (robots, etc.) in control theory (93C85) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60) External book reviews (00A17) Other applications of logic (03B80) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to systems and control theory (93-01)

Cites Work

• Logical Foundations of Cyber-Physical Systems

This page was built for publication: Book review of: A. Platzer, Logical foundations of cyber-physical systems