scientific article; zbMATH DE number 1765705
From MaRDI portal
Publication:4539647
zbMath0988.68107MaRDI QIDQ4539647
Wolfgang Reif, Gerhard Schellhorn, Andreas Thums
Publication date: 10 July 2002
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2083/20830642
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65)
Related Items
Automated flaw detection in algebraic specifications ⋮ Automating Algebraic Specifications of Non-freely Generated Data Types ⋮ Formal Fault Tree Analysis - Practical Experiences ⋮ Bounded Relational Analysis of Free Data Types ⋮ Fault tree analysis: a survey of the state-of-the-art in modeling, analysis and tools
