scientific article
From MaRDI portal
Publication:2989005
zbMath1364.68142MaRDI QIDQ2989005
Farhad Arbab, Bahman Pourvatan, Marjan Sirjani, Hossein Hojjat
Publication date: 19 May 2017
Full work available at URL: http://www.sciencedirect.com/science/article/pii/S1571066109004496?np=y
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Formal languages and automata (68Q45) Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items (2)
ReLo: a Dynamic Logic to Reason About Reo Circuits ⋮ Symbolic execution of Reo circuits using constraint automata
Uses Software
This page was built for publication:
