![Logical Foundations of Cyber-Physical Systems]( "Logical Foundations of Cyber-Physical Systems")
Textbook
Platzer, A. (2018)
Cyber-physical systems (CPSs) combine cyber capabilities, such as computation or communication, with physical capabilities, such as motion or other physical processes. …
Available Formats:
Hardcover
eBook
Softcover
![Decision Procedures]( "Decision Procedures")
Textbook
Kroening, D., Strichman, O. (2008)
A decision procedure is an algorithm that, given a decision problem, terminates with a correct yes/no answer. Here, the authors focus on theories that are expressive enough to …
Available Formats:
Hardcover
eBook
