Real-Time Behaviour Verification, Animation and Monitoring Starting from DCCS Specification

No abstract is available for this paper.

• Publication year

  2000

• Venue

  IFAC Proceedings Volumes

• Publication date

  2000-11-01

• Fields of study

  Computer Science, Engineering

• Identifiers
  DOI 10.1016/S1474-6670(17)36732-0
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Real-time control of non-uniformly sampled systems

  1999cited by this paper
• Handling timing in a time-critical reasoning system - a case study

  1998cited by this paper
• Formal timing analysis of OMT designs using LIMITS

  1997cited by this paper
• Timing Problems and Their Handling at System Integration

  1995cited by this paper
• TIME CONCEPTS IN REAL-TIME SOFTWARE

  1992cited by this paper

• No citing papers are available for this paper.