Formal Verification of UML Statecharts With Real-Time Extensions

Lecture Notes in Computer Science - Germany
doi 10.1007/3-540-45923-5_15
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer Berlin Heidelberg

Related search

Formal Test-Case Generation for UML Statecharts

English

Formal Verification of Real-Time Systems With Preemptive Scheduling

Real-Time Systems
ControlSystems EngineeringOptimizationElectronic EngineeringComputer NetworksSimulationCommunicationsComputer Science ApplicationsElectricalModeling
2008English

A Formal Semantics of UML StateCharts by Means of Timed Petri Nets

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2005English

Formal Verification of User-Level Real-Time Property Patterns

2017English

Real-Time UML

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
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

Specification and Analysis of Real-Time Systems in Statecharts

English

Formal Proof From UML Models

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2004English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy