Formal Description Techniques and Protocol Specification, Testing and Verification
Latest Publications
TOTAL DOCUMENTS
33
(FIVE YEARS 0)
H-INDEX
6
(FIVE YEARS 0)
Published By Springer US
9781475752601, 9780387352718