scientific article; zbMATH DE number 1303982

zbMath0924.68127MaRDI QIDQ4250651

Ian J. Hayes

Publication date: 17 June 1999

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

zbMATH Keywords

real-time specificationssequential real-time programs

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (2)

Computer-aided development of a real-time program ⋮ A formal model of real-time program compilation

This page was built for publication: