Jyrki Okkonen

JO

Statistics

Publications

1

Citations

16

H-Index

1

Active since

1989

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

Publications

1