Generating symbolic traces in the insertion modeling system

DOI10.1007/S10559-015-9691-3zbMATH Open1327.93050OpenAlexW1992580076MaRDI QIDQ895075FDOQ895075

Authors: V. S. Peschanenko, A. A. Huba, A. A. Letichevskij, A. A. jun. Letichevskii 

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

Recommendations

• The design and use of a prolog trace generator for CSP
• Insertion modeling and its applications
• A generalization of traces
• scientific article; zbMATH DE number 177515
• Theory of traces

zbMATH Keywords

verificationinsertion modelingUCM (use case map)

Mathematics Subject Classification ID

Agent technology and artificial intelligence (68T42)

Cites Work

• Process algebra for synchronous communication
• Title not available (Why is that?)
• Title not available (Why is that?)
• A calculus of communicating systems
• Mobile ambients
• Algebra of behavior transformations and its applications
• Systems specification by basic protocols
• A general theory of action languages
• Basic protocols, message sequence charts, and the verification of requirements specifications
• Title not available (Why is that?)
• Formal Techniques for Networked and Distributed Systems - FORTE 2005

Cited In (5)

• Piecewise polynomial algorithms for the analysis of processes in inhomogeneous media
• Cyber-physical systems
• Insertion modeling and its applications
• Estimation of vectors similarity by their randomized binary projections
• The design and use of a prolog trace generator for CSP

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q895075)