Amanote Research
Register
Sign In
Formal Verification of AADL Models Using UPPAAL
doi 10.1109/sbesc.2017.22
Full Text
Open PDF
Abstract
Available in
full text
Date
November 1, 2017
Authors
Fernando Silvano Goncalves
David Pereira
Eduardo Tovar
Leandro Buss Becker
Publisher
IEEE
Related search
Formal Verification of AADL Specifications in the Topcased Environment
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
CAN Database Verification Framework Using UPPAAL
International Journal of Computer Theory and Engineering
Specification and Verification of Media Constraints Using UPPAAL
Design, Specification and Verification of Interactive Systems ’98
Polychronous Automata and Their Use for Formal Validation of AADL Models
Frontiers of Computer Science
Computer Science
Theoretical Computer Science
Improving Reliability of Myocontrol Using Formal Verification
IEEE Transactions on Neural Systems and Rehabilitation Engineering
Internal Medicine
Medicine
Computer Science Applications
Biomedical Engineering
Neuroscience
An Ocarina Extension for AADL Formal Semantics Generation
Executing AADL Models With UML/MARTE
Formal Automatic Verification of Cache Coherence in Multiprocessors With Relaxed Memory Models
IEEE Transactions on Parallel and Distributed Systems
Hardware
Computational Theory
Signal Processing
Architecture
Mathematics
Formal Verification of Pipelined Processors
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
