Insertion modeling and its applications

zbMath1390.68479MaRDI QIDQ1650372

Vladimir Peschanenko, Alexander Letichevsky, A. A. jun. Letichevskii

Publication date: 3 July 2018

Published in: Computer Science Journal of Moldova (Search for Journal in Brave)

Full work available at URL: http://www.math.md/publications/csjm/issues/v24-n3/12260/

zbMATH Keywords

verificationprocess algebraformal modelsinsertion modeling

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (4)

Fuzz testing technique and its use in cybersecurity tasks ⋮ Modeling method for development of digital system algorithms based on programmable logic devices ⋮ Modern methods and software systems of molecular modeling and application of behavior algebra ⋮ Insertion semantics of VHDL as electronic design languge

This page was built for publication: Insertion modeling and its applications