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

Journal of Software Engineering and Applications
doi 10.4236/jsea.2015.82006
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Scientific Research Publishing, Inc,

Related search

Model Checking for Probabilistic Timed Automata

Formal Methods in System Design
HardwareTheoretical Computer ScienceArchitectureSoftware
2012English

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

2010English

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

Ruan Jian Xue Bao/Journal of Software
Software
2007English

Robust Reachability in Timed Automata: A Game-Based Approach

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2012English

Model Checking Software Systems: A Case Study.

1995English

Symbolic Model Checking for Simply-Timed Systems

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2004English

Fuzzy-Timed Automata

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2010English

Energy-Aware Scheduling of FIR Filter Structures Using a Timed Automata Model

2016English

Model-Checking a Secure Group Communication Protocol: A Case Study

IFIP Advances in Information and Communication Technology
Computer NetworksInformation SystemsManagementCommunications
1999English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy