scientific article
From MaRDI portal
Publication:2756793
zbMath0988.68108MaRDI QIDQ2756793
Publication date: 19 November 2001
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Specification and verification (program logics, model checking, etc.) (68Q60) Research exposition (monographs, survey articles) pertaining to computer science (68-02) Theory of software (68N99)
Related Items (2)
Redundancy-based intrusion tolerance approaches moving from classical fault tolerance methods ⋮ Software control flow error detection and correlation with system performance deviation
This page was built for publication:
