Formal methods in designing embedded systems -- the SACRES experience

DOI10.1023/A:1011295931367zbMath0984.68114MaRDI QIDQ5946347

Klaus Winkelmann

Publication date: 10 February 2002

Published in: Formal Methods in System Design (Search for Journal in Brave)

zbMATH Keywords

design environmentSACRES

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Uses Software

• SIGNAL

This page was built for publication: Formal methods in designing embedded systems -- the SACRES experience