Amanote Research
Register
Sign In
Strengthening Property Preservation in Concurrent Real-Time Systems
doi 10.1109/rtcsa.2006.58
Full Text
Open PDF
Abstract
Available in
full text
Date
January 1, 2006
Authors
O. Florescu
J. Voeten
H. Corporaal
Publisher
IEEE
Related search
Semantic Theories and Automated Tools for Real-Time and Probabilistic Concurrent Systems
Real-Time Attributes in Operating Systems
Achieving Real-Time in Distributed Computing
Optimal Time-Bounded Reachability Analysis for Concurrent Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Research Directions in Real-Time Systems.
Real-Time TTCN for Testing Real-Time and Multimedia Systems
Scheduling Garbage Collection in Real-Time Systems
Real-Time Speech Recognition Systems
Formal Verification of User-Level Real-Time Property Patterns
Transaction Processing in Real-Time Database Systems
