On Conditions for Modular Verification in Systems of Synchronising Components

DOI10.3233/FI-2012-761zbMath1279.68204MaRDI QIDQ4902319

Paolo Milazzo, Andrea Maggiolo-Schettini, Peter Drábik

Publication date: 14 January 2013

Published in: Fundamenta Informaticae (Search for Journal in Brave)

zbMATH Keywords

automatasynchronisationmodular verification

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (1)

Identification of components in biochemical pathways: extensive aqpplication to SBML models

This page was built for publication: On Conditions for Modular Verification in Systems of Synchronising Components