scientific article; zbMATH DE number 756082

zbMATH Open0830.68088MaRDI QIDQ4698372FDOQ4698372

Colin Fidge

Publication date: 17 May 1995

Title of this publication is not available (Why is that?)

zbMATH Keywords

\(Z\) specificationshigh- level language codehigh-level language code

Mathematics Subject Classification ID

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

Cited In (2)

• An action-based formal model for concurrent real-time systems
• Transformational vs reactive refinement in real-time systems

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4698372)