Software sequencer
Formal Methods for Computer/Communications Protocols and Software: Design of Distributed Systems and Software, Automated Derivation of Test Sequences, and Implementations
LAP Lambert Academic Publishing (9783659118357) | Formal Methods for Computer/Communications
2 Produkte
Filter