scientific article; zbMATH DE number 1756009
From MaRDI portal
Publication:4535795
zbMATH Open0987.68510MaRDI QIDQ4535795FDOQ4535795
Authors: Carsten Rust, Jürgen Tacken, Carsten Böke 
Publication date: 16 June 2002
Title of this publication is not available (Why is that?)
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
Distributed systems (68M14) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
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)
