Tags

Formal Methods

Hybrid System

Programming Theory

Simulation

PREfECT

Hybrid Programs

Klee

Lince

Compositional semantics

Coordination