Login / Signup
Environment-driven reachability for timed systems - Safety verification of an aircraft landing gear system.
Ciprian Teodorov
Philippe Dhaussy
Luka Leroux
Published in:
Int. J. Softw. Tools Technol. Transf. (2017)
Keyphrases
</>
operating environment
mobile robot
building blocks
petri net
safety analysis
safety critical
distributed systems
real time
formal methods
asynchronous circuits
civil aviation
autonomous mobile
reactive systems
complex environments
computing systems
computing environments
intelligent systems