Formal Requirement Elicitation and Debugging for Testing and Verification of Cyber-Physical Systems.

Adel Dokhanchi Bardh Hoxha Georgios Fainekos

Published in: CoRR (2016)

Keyphrases

cyber physical systems
cyber physical
software testing
hardware designs
physical world
cyber security
model checking
social networks
test cases
real time
monitoring system