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

International Journal of Foundations of Computer Science - Singapore
doi 10.1142/s0129054106004133
Full Text
Abstract

Available in full text

Date
Authors
Publisher

World Scientific Pub Co Pte Lt

Related search

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

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2004English

Liveness in L/U-Parametric Timed Automata

2017English

Timed-Automata Abstraction of Switched Dynamical Systems Using Control Invariants

Real-Time Systems
ControlSystems EngineeringOptimizationElectronic EngineeringComputer NetworksSimulationCommunicationsComputer Science ApplicationsElectricalModeling
2017English

Semi-Parametric Regression Analysis of Interval-Censored Failure Time Data||Semi-Parametric Regression Analysis of Interval-Censored Failure Time Data

English

Toward Parametric Timed Interfaces for Real-Time Components

Electronic Proceedings in Theoretical Computer Science, EPTCS
Software
2014English

Timed Unfoldings for Networks of Timed Automata

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2006English

Time and Action Lock Freedom Properties for Timed Automata

English

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

Ruan Jian Xue Bao/Journal of Software
Software
2007English

Fuzzy-Timed Automata

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2010English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy