Development of formal models and conformance testing for systems with asynchronous interfaces and telecommunications protocols
From MaRDI portal
Publication:927464
DOI10.1134/S0361768807060035zbMath1147.68402MaRDI QIDQ927464
N. V. Pakulin, A. V. Khoroshilov
Publication date: 9 June 2008
Published in: Programming and Computer Software (Search for Journal in Brave)
Uses Software
Cites Work
This page was built for publication: Development of formal models and conformance testing for systems with asynchronous interfaces and telecommunications protocols
