Statistics
Publications
1
Citations
16
H-Index
1
Active since
1989
Affiliations
Jyrki Okkonen is an author at VTT Technical Research Centre of Finland specializing in temporal logic, real-time systems verification, and real-time systems architecture.
Publications per year
1989–1989
1
1
1–1 of 1