Author Info
Name
Affiliation
Papers
J. LAHTINEN
VTT Technical Research Centre of Finland, Systems Research, P.O. Box 1000, FI-02044 Espoo, Finland
3
Collaborators
Citations 
PageRank 
6
15
1.48
Referers 
Referees 
References 
46
113
41
Search Limit
100113
Title
Citations
PageRank
Year
Verifying large modular systems using iterative abstraction refinement.00.342015
Verification Of Fault-Tolerant System Architectures Using Model Checking00.342014
Model checking of safety-critical software in the nuclear engineering domain.150.812012