Amanote Research
Register
Sign In
Specification and Analysis of Real-Time Systems in Statecharts
doi 10.1109/words.1996.506274
Full Text
Open PDF
Abstract
Available in
full text
Date
Unknown
Authors
Unknown
Publisher
IEEE Comput. Soc. Press
Related search
Specification and Design Methodology for Real-Time Embedded Systems
Formal Verification of UML Statecharts With Real-Time Extensions
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
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
A Process Algebraic Framework for Specification and Validation of Real-Time Systems
Formal Aspects of Computing
Theoretical Computer Science
Software
XVERSA: An Integrated Graphical and Textual Toolset for the Specification and Analysis of Resource-Bound Real-Time Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Mapping Statecharts to Verilog for Hardware/Software Co-Specification
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Specification and Analysis of the AER/NCA Active Network Protocol Suite in Real-Time Maude
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
A Real Time Memory Manager for the Real Time Specification for Java
