Published: 01 Jan 2025, Last Modified: 27 Apr 2025Real Time and Such 2025EveryoneRevisionsBibTeXCC BY-SA 4.0
Abstract:I give a personal account about the wave of new research activities that rose in the 1990s on the specification, verification, and control of real-time systems.
Go to DBLP homepage
