scientific article

zbMath0985.68615MaRDI QIDQ2783116

Jürgen Ruf, Thomas Kropf

Publication date: 2 June 2002

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

real-time systemsformal verification

Mathematics Subject Classification ID

Computing methodologies and applications (68U99) Specification and verification (program logics, model checking, etc.) (68Q60)

Uses Software

• RAVEN

This page was built for publication: