Verification of Networks of Timed Automata Using mCRL2

2008 IEEE International Symposium on Parallel and Distributed Processing
doi 10.1109/ipdps.2008.4536575
Full Text
Abstract

Available in full text

Date
Authors
Publisher

IEEE

Related search

Timed Unfoldings for Networks of Timed Automata

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2006English

Efficient Verification of Timed Automata Using Dense and Discrete Time Semantics

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1999English

Advances in Verification of Time Petri Nets and Timed Automata

Studies in Computational Intelligence
Artificial Intelligence
2006English

Online Timed Pattern Matching Using Automata

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2018English

Fuzzy-Timed Automata

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2010English

Robust Safety of Timed Automata

Formal Methods in System Design
HardwareTheoretical Computer ScienceArchitectureSoftware
2008English

The Verification of Temporary Speed Restriction of Train Control System Based on Timed Automata

2013English

Discrete Timed Automata

English

Timed Circuit Verification Using TEL Structures

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
ElectricalSoftwareComputer GraphicsComputer-Aided DesignElectronic Engineering
2001English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy