Specification and analysis of synchronous reactions

DOI10.1007/S00165-004-0039-4zbMath1084.68074OpenAlexW2063820249MaRDI QIDQ1882806

Mirabelle Nebut

Publication date: 1 October 2004

Published in: Formal Aspects of Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00165-004-0039-4

zbMATH Keywords

ClocksSpecificationModelling and handling of variable absenceSynchronous paradigm

Mathematics Subject Classification ID

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

Uses Software

• SIGNAL

This page was built for publication: Specification and analysis of synchronous reactions