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

Agent technology and artificial intelligence (68T42)

Related Items

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