Searching for "Real-time systems specification and verification." – sorted by Relevance.
9 documents found, showing 1 through 9.
-
Distributed Real-Time System Specification and Verification in APTL
- …Distributed Real-Time System Specification and Verification in APTL FARN WANG, ALOYSIUS K. MOK…
- Cited by 5 (0 self) – Add To MetaCart
-
Slicing Concurrent Real-Time System Specifications for Verification ⋆
- …Slicing Concurrent Real-Time System Specifications for Verification ⋆ Ingo Brückner Universität…
- Add To MetaCart
-
A State Graph Manipulator Tool for Real-Time System Specification and Verification
- …A State Graph Manipulator Tool for Real-Time System Specification and Verification Pao-Ann Hsiung…
- Cited by 9 (5 self) – Add To MetaCart
-
Time Granularities
- … universe and to switch temporal statements across temporal domains. • Main application: real time systems…
- Cited by 3 (0 self) – Add To MetaCart
-
Synchronous Programming
- …. This account complements the other versions given in the book Real-time Systems: Specification, Verification…
- Add To MetaCart
-
and all its “references
- …., 2000. Mathai, J. editor, Real-Time Systems Specification, Verification and Analysis, Prentice-Hall, Inc…
- Cited by 1 (0 self) – Add To MetaCart
-
Combining Formal Refinement and Model Checking for Real-Time Systems Verification
- … machines which are executed at cycle-accurate basis. For real-time system specification and verification…
- Add To MetaCart
-
A Method for Verifying Properties of Modechart Specifications
- …: real-time systems, specification, verification, timing constraints, Modechart, RTL Abstract…
- Cited by 47 (7 self) – Add To MetaCart
-
Formal Approach for the Coherence Control of SMIL Documents
- …, Time Petri nets (TPNs) are most widely used for 130real-time system specification and verification…
- Add To MetaCart
Showing 1 through 9.
