Search
Now showing items 1-1 of 1
Testing Models of Reactive Systems
Testing models of modern Real-time Embedded (RTE) systems is not straightforward
due to timing constraints, numerous if not infinite possible behaviors, and complex
communications between components. Software testing ...