National Library of Finland
Open Data and Linked Data Service
Search works, persons, organizations and subjects:
Rönkkö, Mauno
URI:
http://urn.fi/URN:NBN:fi:au:pn:000110678
name
Rönkkö, Mauno
Authored works
Action systems with continuous behaviour
Differential equations as actions ; M. Rönkkö, A. P. Ravn
Hybrid action systems
Linear hybrid action systems
Refinement and continuous behaviour
Stepwise development of hybrid systems
Switches and jumps in hybrid action systems
Using PVS for verifying safety in action systems
Verification of linear hybrid action systems
Works contributed to
Works about Rönkkö, Mauno
Download this resource as RDF:
Turtle
RDF/XML
N-Triples
JSON-LD