The formal design of distributed controllers with \(_{\text d}\text{SL}\) and spin

DOI10.1007/s00165-005-0066-9zbMath1080.68600OpenAlexW1988421192MaRDI QIDQ2576584

Cédric Meuter, Bram De Wachter, Alexandre Genon, Thierry Massart

Publication date: 13 December 2005

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

Full work available at URL: https://doi.org/10.1007/s00165-005-0066-9

zbMATH Keywords

Industrial process controlTransparent code distribution

Mathematics Subject Classification ID

Control/observation systems involving computers (process control, etc.) (93C83) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (1)

Testing Distributed Systems Through Symbolic Model Checking

This page was built for publication: The formal design of distributed controllers with \(_{\text d}\text{SL}\) and spin