Hybrid systems in TLA+

Publisher Website

1 January 1993

book chapter
Published by Springer Nature

p. 77-102
https://doi.org/10.1007/3-540-57318-6_25

Abstract

No abstract available

Keywords

This publication has 2 references indexed in Scilit:

Specifying and verifying requirements of real-time systems
IEEE Transactions on Software Engineering, 1993
An old-fashioned recipe for real time
Published by Springer Nature ,1992