Specification and Analysis of Real-Time Systems in Statecharts

doi 10.1109/words.1996.506274

Full Text

Abstract

Available in

Date

Unknown

Authors

Unknown

Publisher

IEEE Comput. Soc. Press

Related search

Specification and Design Methodology for Real-Time Embedded Systems

2002English

Formal Specification and Verification of Real-Time Systems Using Graph Grammars

Journal of the Brazilian Computer Society
Computer Science
2007English

Formal Specification and Verification of Real-Time Systems Using Graph Grammars

Journal of the Brazilian Computer Society
Computer Science
2007English

Formal Verification of UML Statecharts With Real-Time Extensions

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2002English

A Process Algebraic Framework for Specification and Validation of Real-Time Systems

Formal Aspects of Computing
Theoretical Computer ScienceSoftware
2009English

XVERSA: An Integrated Graphical and Textual Toolset for the Specification and Analysis of Resource-Bound Real-Time Systems

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1996English

Specification and Analysis of the AER/NCA Active Network Protocol Suite in Real-Time Maude

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2001English

Mapping Statecharts to Verilog for Hardware/Software Co-Specification

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2003English

A Real Time Memory Manager for the Real Time Specification for Java

English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2026 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy