Textbooks
-
-
-
Verification aims to establish whether a system meets a set of requirements. For such cyber-physical systems as driverless cars,... more -
Introduces key concepts from different areas in an efficient manner. The disciplines considered... more -
-
-
-
-
-