Specification completion for IOCO
From MaRDI portal
Publication:763529
DOI10.1134/S0361768811010014zbMath1242.68152OpenAlexW2062436301MaRDI QIDQ763529
I. B. Bourdonov, A. S. Kossatchev
Publication date: 12 March 2012
Published in: Programming and Computer Software (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1134/s0361768811010014
Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items
Cites Work
This page was built for publication: Specification completion for IOCO