Untimed Language Preservation in Timed Systems

DOI10.1007/978-3-642-22993-0_50MaRDI QIDQ3088071zbMATH OpenOpenAlexFDO

Authors Ocan Sankur

Publication date 17 August 2011

Published in Mathematical Foundations of Computer Science 2011 (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-22993-0_50

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Recommendations

• Language preservation problems in parametric timed automata
• Language preservation problems in parametric timed automata
• A Machine-Independent Characterization of Timed Languages
• scientific article; zbMATH DE number 1794388
• Formal Modeling and Analysis of Timed Systems
• A nonarchimedian discretization for timed languages
• Unambiguity in Timed Regular Languages: Automata and Logics
• A perfect class of context-sensitive timed languages
• Coordination Models and Languages
• Formal Methods for the Design of Real-Time Systems

Cited in

(7)

• Language preservation problems in parametric timed automata
• Shrinking timed automata
• Robust model-checking of timed automata via pumping in channel machines
• Language preservation problems in parametric timed automata
• Robust reachability in timed automata and games: a game-based approach
• scientific article; zbMATH DE number 7566044 (Why is no real title available?)
• Robust safety of timed automata

This page was built for publication: Untimed Language Preservation in Timed Systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3088071)