Generating symbolic traces in the insertion modeling system
From MaRDI portal
Publication:895075
DOI10.1007/S10559-015-9691-3zbMath1327.93050OpenAlexW1992580076MaRDI QIDQ895075
A. A. Huba, V. S. Peschanenko, A. A. jun. Letichevskii, Alexander Letichevsky
Publication date: 26 November 2015
Published in: Cybernetics and Systems Analysis (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s10559-015-9691-3
Related Items (3)
Piecewise polynomial algorithms for the analysis of processes in inhomogeneous media ⋮ Cyber-physical systems ⋮ Estimation of vectors similarity by their randomized binary projections
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- A calculus of communicating systems
- A general theory of action languages
- Systems specification by basic protocols
- Basic protocols, message sequence charts, and the verification of requirements specifications
- Process algebra for synchronous communication
- Formal Techniques for Networked and Distributed Systems - FORTE 2005
This page was built for publication: Generating symbolic traces in the insertion modeling system