Model Checking of Multitasking Real-Time Applications Based on the Timed Automata Model Using One Clock

doi 10.4018/978-1-60566-750-8.ch008
Full Text
Abstract

Available in full text

Date
Authors
Publisher

IGI Global

Related search

Model Checking for Probabilistic Timed Automata

Formal Methods in System Design
HardwareTheoretical Computer ScienceArchitectureSoftware
2012English

Branching-Time Model Checking of Parametric One-Counter Automata

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2012English

Timed-Automata Based Model-Checking of a Multi-Agent System: A Case Study

Journal of Software Engineering and Applications
2015English

Model Checking Real Time Java Using Java PathFinder

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2005English

A Method for Testing Real-Time System Based on Timed Automata

Ruan Jian Xue Bao/Journal of Software
Software
2007English

Quantitative Analysis of Real-Time Systems Using Priced Timed Automata

Communications of the ACM
Computer Science
2011English

Real-Time Model Checking on Secondary Storage

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
English

On Expressiveness and Complexity in Real-Time Model Checking

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2008English

Real-Time Model Checking Is Really Simple

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2005English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy