|
by Cerny, Eduard, Dudani, Surrendra, Havlicek, John, Korchemny, Dmitry
Published 2015
Subjects:
“...Electronic Circuits and Systems...”Published 2015
Springer International Publishing
|
Hierarchical Annotated Action Diagrams : An Interface-Oriented Specification and Verification Method
Subjects:
“...Electronic Circuits and Systems...”