Sciweavers

Share
HYBRID
2010
Springer

Amir Pnueli and the dawn of hybrid systems

10 years 16 days ago
Amir Pnueli and the dawn of hybrid systems
In this talk I present my own perspective on the beginning (I refer mostly to the period 1988-1998) of hybrid systems research at the computer science side, focusing on the contributions of the late Amir Pnueli, mildly annotated with some opinions of mine. Categories and Subject Descriptors A.0 [General literature]: General General Terms Verification Keywords Amir Pnueli, Hybrid systems
Oded Maler
Added 18 May 2010
Updated 18 May 2010
Type Conference
Year 2010
Where HYBRID
Authors Oded Maler
Comments (0)
books