Title
Formal Methods in the Wild: Trains, Planes, & Automobile.
Year
DOI
Venue
2012
10.1007/978-3-642-32759-9_2
FM
Field
DocType
Citations 
Personal experience,Engineering management,Computer science,Aviation,Theoretical computer science,Engineering design process,Formal methods,Train,Automotive industry
Conference
0
PageRank 
References 
Authors
0.34
1
1
Name
Order
Citations
PageRank
Asaf Degani1706.86