Generating symbolic traces in the insertion modeling system

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

zbMATH Keywords

verificationinsertion modelingUCM (use case map)

Mathematics Subject Classification ID

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

• 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
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Generating symbolic traces in the insertion modeling system