Design of the real time systems using temporal logic specifications: A case study

zbMATH Open0896.68095MaRDI QIDQ1388094

V. Dubenetsky, G. Gruita, A. Ursu

Publication date: 1 October 1998

Published in: Computer Science Journal of Moldova (Search for Journal in Brave)

zbMATH Keywords

real time systems

Mathematics Subject Classification ID

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

Related Items (1)

Transformational design of real-time systems. I: From requirements to program specifications

This page was built for publication: Design of the real time systems using temporal logic specifications: A case study