Model-Based Testing of Environmental Conformance of Components
From MaRDI portal
Publication:3525108
DOI10.1007/978-3-540-74792-5_1zbMath1147.68446OpenAlexW2117276265MaRDI QIDQ3525108
Publication date: 17 September 2008
Published in: Formal Methods for Components and Objects (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-540-74792-5_1
Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items
Cites Work
This page was built for publication: Model-Based Testing of Environmental Conformance of Components