Real time programming. Languages, specification and verification.

zbMATH Open1204.68049MaRDI QIDQ3566476FDOQ3566476

Authors: S. Rameesh, R. K. Shyamasundar 

Publication date: 8 June 2010

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

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

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)

Cited In (12)

• Title not available (Why is that?)
• Real-time programming
• A synchronous effects logic for temporal verification of pure Esterel
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Evaluating the expressive power of the real-time specification for Java
• Demand-driven real-time computing
• A formal design language for real-time systems with data
• Theoretical Aspects of Computing - ICTAC 2004
• Verification, refinement and scheduling of real-time programs
• Title not available (Why is that?)

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)