Connectivity testing

DOI10.1023/B:FORM.0000033961.36239.68zbMath1073.68531OpenAlexW2914307513MaRDI QIDQ1878926

Jens Chr. Godskesen

Publication date: 9 September 2004

Published in: Formal Methods in System Design (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/b:form.0000033961.36239.68

zbMATH Keywords

emedded systems

Mathematics Subject Classification ID

Reliability, testing and fault tolerance of networks and computer systems (68M15)

This page was built for publication: Connectivity testing