scientific article; zbMATH DE number 2088937

zbMATH Open1046.68832MaRDI QIDQ3045883FDOQ3045883

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

Publication date: 12 August 2004

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

Title of this publication is not available (Why is that?)

Mathematics Subject Classification ID

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

Cited In (2)

• Title not available (Why is that?)
• Title not available (Why is that?)

Uses Software

• Ada95
• GLADE

   Recommendations

• Title not available (Why is that?) 👍 👎
• Schedulability of asynchronous real-time concurrent objects 👍 👎
• Title not available (Why is that?) 👍 👎
• 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 👍 👎

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)