Author Info
Name
Affiliation
Papers
DEVESH BHATT
Honeywell Aerosp Labs, Golden Valley, MN 55422 USA
1
Collaborators
Citations 
PageRank 
5
0
0.34
Referers 
Referees 
References 
0
29
6
Title
Citations
PageRank
Year
Contract-Based Verification of Complex Time-Dependent Behaviors in Avionic Systems.00.342016