Zobrazeno 1 - 1
of 1
pro vyhledávání: '"Jérôme Sautret"'
Publikováno v:
AST
Asynchronous events are awkward to handle in specification-based testing. State machine specifications become very complex when variable event order, timing constraints, and timing uncertainties must all be captured. We propose an alternative formali