The use of contract specifications for representing requirements and for functional testing of hardware models
From MaRDI portal
Publication:927452
DOI10.1134/S0361768807050039zbMath1154.68442OpenAlexW2022219508WikidataQ62038629 ScholiaQ62038629MaRDI QIDQ927452
V. V. Kuliamin, A. S. Kossatchev, A. S. Kamkin, A. K. Petrenko, V. P. Ivannikov
Publication date: 9 June 2008
Published in: Programming and Computer Software (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1134/s0361768807050039
Specification and verification (program logics, model checking, etc.) (68Q60) Computer system organization (68M99)
Related Items
Uses Software
Cites Work