Can Regulatory Bodies Expect Efficient Help from Formal Methods?.

Paper Info

Title
Can Regulatory Bodies Expect Efficient Help from Formal Methods?.

Year	Venue	Field
2010	NASA Formal Methods	Flight safety,Aircraft safety,Systems engineering,Computer science,Transport engineering,Aviation,Theoretical computer science,Airline operations,Formal methods,Formalism (philosophy),Airport security
DocType	Citations	PageRank
Conference	0	0.34
References	Authors
1	2

Authors (2 rows)

Cited by (0 rows)

References (1 rows)

Name	Order	Citations	PageRank
Eduardo Rafael López Ruiz	1	0	0.34
Michel Lemoine	2	72	13.51