A.C. · A. Cavalli · Ana C. · Ana Rosa Cavalli
title | ISBN-13 | year of publica- tion | other author(s) | |
---|---|---|---|---|
Data Privacy Management and Autonomous Spontaneous Security: 5th International Workshop, DPM 2010 and 3rd International Workshop, SETOP, Athens, ... Notes in Computer Science, Band 6514) | 978-3-642-19347-7 | 2011 | Joaquin Garcia-Alfaro · Guillermo Navarro-Arribas · Jean Leneutre | |
Formal Description Techniques and Protocol Specification, Testing and Verification: Forte XI/Pstv XVIII 98 Ifip Tc6 Wg6.1 Joint International Conferen ... in Information and Communication Technology) | 978-0-412-84760-8 | 1998 | Stan Budkowski · Elie Najm | |
Protocol Test Systems VIII: Proceedings of the IFIP WG6.1 TC6 Eighth International Workshop on Protocol Test Systems, September 1995: International ... in Information and Communication Technology) | 978-0-412-78110-0 | 1996 | Stan Budkowski | |
SDL '97: Time for Testing: SDL, MSC and Trends | 978-0-444-82816-3 | 1997 | Amardeo Sarma |
Chapman and Hall · Elsevier Science · Springer