Real Time Programming: Languages, Specification and Verification || BACK MATTER
- 作者Shyamasundar, R K; Ramesh, S
- 文件大小121.87KB
- 发表时间2009
- DOI10.1142/9789812814029_bmatter
- 页码235-245
Modelling real-time systems: Issues and challengesR K Shyamasundar; S Ramesh · 1992
Real Time Programming: Languages, Specification and Verification || Multiclock ESTERELShyamasundar, R K; Ramesh, S · 2009
Real Time Programming: Languages, Specification and Verification || FRONT MATTERShyamasundar, R K; Ramesh, S · 2009
Real Time Programming: Languages, Specification and Verification || BACK MATTERShyamasundar, R K; Ramesh, S · 2009
Real Time Programming: Languages, Specification and Verification || ESTEREL Language: StructureShyamasundar, R K; Ramesh, S · 2009
Real Time Programming: Languages, Specification and Verification || Semantics of ESTERELShyamasundar, R K; Ramesh, S · 2009
Real Time Programming: Languages, Specification and Verification || Synchronous Language LUSTREShyamasundar, R K; Ramesh, S · 2009
Real Time Programming: Languages, Specification and Verification || Communicating Reactive ProcessesShyamasundar, R K; Ramesh, S · 2009