scientific article; zbMATH DE number 2088937

MaRDI QIDQ3045883zbMATH OpenFDO

Authors Julio L. Medina, J. Javier Gutiérrez, José M. Drake, Michael González Harbour

Publication date 12 August 2004

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2361/23610282.htm

Mathematics Subject Classification ID

Theory of programming languages (68N15) Computing methodologies and applications (68U99) Distributed systems (68M14)

Recommendations

• scientific article; zbMATH DE number 2176488
• Schedulability of asynchronous real-time concurrent objects
• scientific article; zbMATH DE number 803799
• Verifying distributed real-time properties of embedded systems via graph transformations and model checking
• Modular design of real-time systems using hierarchical communicating real-time state machines

Cited in

(6)

• scientific article; zbMATH DE number 2088926 (Why is no real title available?)
• scientific article; zbMATH DE number 1686287 (Why is no real title available?)
• Modeling distributed real-time applications with Specification PEARL
• Verifying distributed real-time properties of embedded systems via graph transformations and model checking
• A Platform-independent Component Modeling Language for distributed real-time and embedded systems
• Modular design of real-time systems using hierarchical communicating real-time state machines

Describes a project that uses

Uses Software

• Ada95
• GLADE

This page was built for publication:

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