|
by Rajasekar, Shanmuganathan, Sanjuan, Miguel A. F.
Published 2016
Subjects:
“...Electronic Circuits and Systems...”Published 2016
Springer International Publishing
|
by Halt, Jr., Gerald B., Donch, Jr., John C., Stiles, Amber R., Fesnak, Robert
Published 2014
Subjects:
“...Electronic Circuits and Systems...”Published 2014
Springer New York
|
Hierarchical Annotated Action Diagrams : An Interface-Oriented Specification and Verification Method
Subjects:
“...Electronic Circuits and Systems...”