Real time programming. Languages, specification and verification.

MaRDI QIDQ3566476zbMATH OpenFDO

Authors S. Rameesh, R. K. Shyamasundar

Publication date 8 June 2010

Full work available at URL http://ebooks.worldscinet.com/ISBN/9789812814029/toc.shtml

zbMATH Keywords

embedded systemsLustreESTERELsynchronous languageCommunicating Reactive ProcessesCommunicating Reactive State MachinesTime Triggered Protocol

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to computer science (68-02) Theory of programming languages (68N15) Specification and verification (program logics, model checking, etc.) (68Q60) Semantics in the theory of computing (68Q55)

Recommendations

• scientific article; zbMATH DE number 2165687
• scientific article; zbMATH DE number 526071
• Real-Time Systems
• Specification and compositional verification of real-time systems
• scientific article; zbMATH DE number 53319

Cited in

(12)

• A synchronous effects logic for temporal verification of pure Esterel
• scientific article; zbMATH DE number 2165687 (Why is no real title available?)
• Demand-driven real-time computing
• scientific article; zbMATH DE number 3997136 (Why is no real title available?)
• scientific article; zbMATH DE number 1947727 (Why is no real title available?)
• scientific article; zbMATH DE number 778419 (Why is no real title available?)
• Evaluating the expressive power of the real-time specification for Java
• Real-time programming
• A formal design language for real-time systems with data
• scientific article; zbMATH DE number 526071 (Why is no real title available?)
• Theoretical Aspects of Computing - ICTAC 2004
• Verification, refinement and scheduling of real-time programs

This page was built for publication: Real time programming. Languages, specification and verification.

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3566476)