Author Info
Name
Papers
Collaborators
OLIVER MÖLLER
2
8
Citations 
PageRank 
Referers 
3
0.73
11
Referees 
References 
32
12
Title
Citations
PageRank
Year
Testing Avionics Software: Is FMI up to the Task?10.362018
A framework for formal verification of systems of synchronous components.20.372012