Amanote Research
Register
Sign In
The Formal, Tool Supported Development of Real Time Systems
doi 10.1109/sefm.2004.1347543
Full Text
Open PDF
Abstract
Available in
full text
Date
Unknown
Authors
R.O. Sinnott
Publisher
IEEE
Related search
Formal Verification of Real-Time Systems With Preemptive Scheduling
Real-Time Systems
Control
Systems Engineering
Optimization
Electronic Engineering
Computer Networks
Simulation
Communications
Computer Science Applications
Electrical
Modeling
Formal Specification and Verification of Real-Time Systems Using Graph Grammars
Journal of the Brazilian Computer Society
Computer Science
Formal Specification and Verification of Real-Time Systems Using Graph Grammars
Journal of the Brazilian Computer Society
Computer Science
Tool Supported Specification and Simulation of Distributed Systems
Formal Techniques in the Development of Blackboard Systems
International Journal of Pattern Recognition and Artificial Intelligence
Computer Vision
Pattern Recognition
Artificial Intelligence
Software
Formal Verification of User-Level Real-Time Property Patterns
Formal Verification of UML Statecharts With Real-Time Extensions
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
A Framework for the Development of Parallel and Distributed Real-Time Embedded Systems
Modeling and Schedulability Analysis in the Development of Real-Time Distributed Ada Systems
ACM SIGAda Ada Letters
