FSM Test Translation Through Context

DOI10.1007/11754008_16zbMath1185.68088OpenAlexW1608932001MaRDI QIDQ3434661

Alexandre Petrenko, Nina Yevtushenko, Khaled El-Fakih

Publication date: 2 May 2007

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/11754008_16

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Reliability, testing and fault tolerance of networks and computer systems (68M15)

Related Items (1)

Composition of Model Programs

This page was built for publication: FSM Test Translation Through Context