Login / Signup
Applying Valued Booleans in Testing of Cyber-Physical Systems.
Koen Claessen
Nicholas Smallbone
Johan Lidén Eddeland
Zahra Ramezani
Knut Åkesson
Sajed Miremadi
Published in:
MT@CPSWeek (2018)
Keyphrases
</>
cyber physical systems
cyber physical
physical world
real time
software systems