Time and Action Lock Freedom Properties for Timed Automata

doi 10.1007/0-306-47003-9_8
Full Text
Abstract

Available in full text

Date

Unknown

Authors
Publisher

Kluwer Academic Publishers

Related search

Action Transducers and Timed Automata

English

Action Transducers and Timed Automata

Formal Aspects of Computing
Theoretical Computer ScienceSoftware
1996English

Timed Unfoldings for Networks of Timed Automata

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2006English

Fuzzy-Timed Automata

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2010English

Pumping Lemmas for Timed Automata

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1998English

A Global Timed Bisimulation Preserving Abstraction for Parametric Time-Interval Automata

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2004English

Stochastic Real-Time Games With Qualitative Timed Automata Objectives

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2010English

A Timed Failure Equivalence Preserving Abstraction for Parametric Time-Interval Automata

International Journal of Foundations of Computer Science
Computer Science
2006English

Discrete Timed Automata

English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy