scientific article
From MaRDI portal
Publication:3365842
zbMath1087.68065MaRDI QIDQ3365842
Publication date: 13 February 2006
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Learning and adaptive systems in artificial intelligence (68T05) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Related Items (9)
Fuzz testing technique and its use in cybersecurity tasks ⋮ Generating symbolic traces in the insertion modeling system ⋮ Cyber-physical systems ⋮ Modeling method for development of digital system algorithms based on programmable logic devices ⋮ Glushkov's evidence algorithm ⋮ Properties of a predicate transformer of the VRS system ⋮ Trapezoid method for solving systems of linear inequalities and its implementation in insertion modeling ⋮ Reconstruction of a Labeled Graph by a Graph-walking Mobile Agent ⋮ Insertion semantics of VHDL as electronic design languge
This page was built for publication:
