Harmonization of automata specifications represented in the language L
From MaRDI portal
Publication:334231
DOI10.1007/s10559-016-9834-1zbMath1392.68215OpenAlexW2398590839MaRDI QIDQ334231
Publication date: 1 November 2016
Published in: Cybernetics and Systems Analysis (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s10559-016-9834-1
automaton specificationcomposition correctnesscomposition of specificationsharmonization of specificationslanguage L
Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60)
Related Items (2)
Some subsets of monadic first-order logic (MFO) used for the specification and synthesis of \(\Sigma\)-automata ⋮ Problems of synthesis of \(\Sigma\)-automata specified in languages LP and LF of first order logic
Cites Work
- Unnamed Item
- Unnamed Item
- Harmonization of interacting automata
- General method of testing the compatibility of interacting automata with finite memory
- Consistency test for simple specifications of automaton systems
- Separable resolution method for checking the satisfiability of formulas in the language \({\mathfrak L}\)
This page was built for publication: Harmonization of automata specifications represented in the language L