Login / Signup
Contract-Based Verification of Complex Time-Dependent Behaviors in Avionic Systems.
Devesh Bhatt
Arunabh Chattopadhyay
Wenchao Li
David Oglesby
Sam Owre
Natarajan Shankar
Published in:
NFM (2016)
Keyphrases
</>
complex systems
model checking
real world
expert systems
building blocks
automated verification
data sets
information retrieval
website
database systems
management system
software engineering
intelligent systems
face verification
transaction costs