Concepedia

Mikko Levanto

ML

1

Publications

16

Citations

1

H-Index

1989

Active since

Affiliations

VTT Technical Research Centre of Finland(Current)

Mikko Levanto is an author at VTT Technical Research Centre of Finland specializing in formal verification, formal methods, and system software.

Top concepts

EngineeringFormal MethodsSystem SoftwareComputer ScienceReal-time SystemsFormal VerificationSystems Engineering

Publications per year

1989–1989

1

Publications

1

Sokrates-SA - A formal method for specifying real-time systems

Ari Okkonen, Antti Auer, Mikko Levanto et al. · Microprocessing and Microprogramming · 1989 · 16 citations

Real-time System, Engineering, Real-time Operation +7

Rows per page

1–1 of 1