Frédéric Mallet
www-sop.inria.fr
0000-0002-9088-9821
Université de Nice Sophia Antipolis
1 paper found
Refreshing results…
A Scalable Approach to Detecting Safety Requirements Inconsistencies for Railway Systems
Missing publications? Search for publications with a matching author name.