Untimed Language Preservation in Timed Systems
From MaRDI portal
Publication:3088071
DOI10.1007/978-3-642-22993-0_50zbMATH Open1343.68148OpenAlexW1785651314MaRDI QIDQ3088071FDOQ3088071
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
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)
- Robust safety of timed automata
- Robust model-checking of timed automata via pumping in channel machines
- Language preservation problems in parametric timed automata
- Language preservation problems in parametric timed automata
- Shrinking timed automata
- Robust reachability in timed automata and games: a game-based approach
- Title not available (Why is that?)
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)
