Semantics and computation of the evolution of hybrid systems with ariadne

Pieter Collins, Davide Bresolin, Sanja Živanovic Gonzalez, Luca Geretti, Tiziano Villa

Research output: Chapter in Book/Report/Conference proceeding › Conference article in proceeding › Academic › peer-review

11 Downloads (Pure)

Fingerprint

Dive into the research topics of 'Semantics and computation of the evolution of hybrid systems with ariadne'. Together they form a unique fingerprint.

Keyphrases

Engineering

Computer Science

INIS

Mathematics