scientific article
From MaRDI portal
Publication:3992540
zbMath0679.68003MaRDI QIDQ3992540
Publication date: 23 January 1993
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Theory of software (68N99)
Related Items (8)
A two-level approach based on model checking to support architecture conformance checking ⋮ Essential concepts of algebraic specification and program development ⋮ Formalism and method ⋮ Manifest domains: analysis and description ⋮ OOPM: An Object-Oriented Multimodeling and Simulation Application Framework ⋮ Modelling of Complex Software Systems: A Reasoned Overview ⋮ Enhancing Automata Learning by Log-Based Metrics ⋮ Open source BEM library
This page was built for publication:
