Time for All Programs, Not Just Real-Time Programs

von Lee, Edward A.
Veröffentlicht in International Symposium on Leveraging Applications of Formal Methods (10. : 2021 : Rhodos, Stadt) Leveraging applications of formal methods, verification and validation (2021)

Reactors: A Deterministic Model for Composable Reactive Systems

von Lohstroh, Marten
Veröffentlicht in CyPhy (9. : 2019 : New York, NY) Cyber physical systems (2020)

Principles of modeling : essays dedicated to Edward A. Lee on the occasion of his 60th birthday

Veröffentlicht 2018

Pragmatics Twelve Years Later: A Report on Lingua Franca

von Hanxleden, Reinhard von
Veröffentlicht in ISoLA (11. : 2022 : Rhodos) Leveraging applications of formal methods, verification and validation ; Part 2: Software engineering (2022)