Treffer: Verifying Protocol Conformance Using Software Model Checking for the Model-Driven Development of Embedded Systems.
Title:
Verifying Protocol Conformance Using Software Model Checking for the Model-Driven Development of Embedded Systems.
Authors:
Source:
IEEE Transactions on Software Engineering. Sep2013, Vol. 39 Issue 9, p1307-13256. 11950p. 1 Color Photograph, 1 Black and White Photograph, 11 Diagrams, 4 Charts.
Database:
Business Source Ultimate