scientific article; zbMATH DE number 1756009

MaRDI QIDQ4535795zbMATH OpenFDO

Authors Carsten Rust, Jürgen Tacken, Carsten Böke

Publication date 16 June 2002

Mathematics Subject Classification ID

Distributed systems (68M14) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• scientific article; zbMATH DE number 1487617
• Design and analysis of embedded systems with RTCP-nets.
• scientific article; zbMATH DE number 2088660
• Formal synthesis of real-time embedded software by time-memory scheduling of colored time Petri nets
• Modeling of real-time scheduling for distributed embedded systems

Cited in

(5)

• Skeleton abstraction for universal temporal properties
• Formal synthesis of real-time embedded software by time-memory scheduling of colored time Petri nets
• Design and analysis of embedded systems with RTCP-nets.
• Skeleton Abstraction for Universal Temporal Properties
• Modeling distributed real-time applications with Specification PEARL

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 Q4535795)