Sign in
Formal Requirement Debugging for Testing and Verification of Cyber-Physical Systems.
Adel Dokhanchi
Bardh Hoxha
Georgios Fainekos
Published in:
ACM Trans. Embed. Comput. Syst. (2018)
Keyphrases
</>
cyber physical systems
software testing
cyber physical
formal methods
hardware designs
model checking
test cases
physical world
cyber security
real time
critical infrastructure
social networks
high speed
data collection