Toward Parametric Timed Interfaces for Real-Time Components

Electronic Proceedings in Theoretical Computer Science, EPTCS - United States
doi 10.4204/eptcs.145.6
Full Text
Abstract

Available in full text

Categories
Software
Date
Authors
Publisher

Open Publishing Association

Related search

Real-Time Control With Parametric Timed Reachability Games

IFAC Proceedings Volumes
2012English

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

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2004English

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

International Journal of Foundations of Computer Science
Computer Science
2006English

Parametric Timing Analysis for Real-Time Systems

Information and Computation
Theoretical Computer ScienceComputational TheoryComputer Science ApplicationsInformation SystemsMathematics
1996English

A Proposal for Real-Time Interfaces in SPEEDS

2010English

Compiling Real-Time Scenarios Into a Timed Automaton

English

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

Ruan Jian Xue Bao/Journal of Software
Software
2007English

Stochastic Real-Time Games With Qualitative Timed Automata Objectives

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2010English

Quantitative Analysis of Real-Time Systems Using Priced Timed Automata

Communications of the ACM
Computer Science
2011English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy