scientific article; zbMATH DE number 2012389
From MaRDI portal
Publication:4437807
zbMath1030.68561MaRDI QIDQ4437807
Publication date: 15 December 2003
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items (3)
Typing Local Control and State Using Flow Analysis ⋮ From CML to its process algebra ⋮ A compositional behavioral modeling framework for embedded system design and conformance checking
This page was built for publication:
