Special issue: AVoCS'09. Selected papers based on the presentations at the 9th international workshop on automated verification of critical systems, Swansea, Wales, UK, September 23--25, 2009.
zbMATH Open1246.68053MaRDI QIDQ435219FDOQ435219
Authors:
Publication date: 11 July 2012
Published in: Science of Computer Programming (Search for Journal in Brave)
Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Cited In (3)
- Special Issue: Automated verification of critical systems (AVoCS). Selected and revised papers based on the presentation at the international workshop, Southhampton, UK, April 2--3, 2003.
- Proceedings of the 5th international workshop on automated verification of critical systems (AVoCS 2005), University of Warwick, Coventry, UK, September 12--13, 2005
- Special issue: Selected papers based on the presentations at the workshop on automated verification of critical systems (AVoCS 2006), Nancy, France, Septemper 2006, and the verification workshop (VERIFY'06), Seattle, WA, USA, August 2006.
This page was built for publication: Special issue: AVoCS'09. Selected papers based on the presentations at the 9th international workshop on automated verification of critical systems, Swansea, Wales, UK, September 23--25, 2009.
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q435219)
