Book Chapter10.1007/978-3-642-39637-3_29

Formal Verification of Cyber-Physical Systems: Coping with Continuous Elements

Muhammad Usman Sanwal,Osman Hasan-2013-01-01-Lecture notes in computer science

38

Chat with Paper

AI Agents for this Paper

No abstract available for this paper.

Keywords

Cyber-physical systemCoping (psychology)Computer scienceComputer securityPsychologyOperating systemClinical psychology

Chat

Click to start Chat