Cavalli, Ana books & textbook
Formal Description Techniques and Protocol Specification, Testing and Verification (IFIP Advances in Information and Communication Technology)
Budkowski, Stan Cavalli, Ana Najm, Elie
Springer /2013-03-05 Paperback / 488 Pages
isbn-10: 1475752628 / isbn-13: 9781475752625
Quality of Information and Communications Technology: 14th International Conference, QUATIC 2021, Algarve, Portugal, September 8–11, 2021, Proceedings ... in Computer and Information Science)
Paiva, Ana C. R. Cavalli, Ana Rosa Ventura Martins, Paula Pérez-Castillo, Ricardo
Springer /2021-08-28 Paperback / 588 Pages
isbn-10: 3030853462 / isbn-13: 9783030853464
Protocol Test Systems VIII: Proceedings of the IFIP WG6.1 TC6 Eighth International Workshop on Protocol Test Systems, September 1995 (IFIP Advances in Information and Communication Technology)
Springer /2013-02-27 Paperback / 464 Pages
isbn-10: 1475763123 / isbn-13: 9781475763126
Data Privacy Management and Autonomous Spontaneous Security: 5th International Workshop, DPM 2010 and 3rd International Workshop, SETOP, Athens, ... (Lecture Notes in Computer Science, 6514)
Garcia-Alfaro, Joaquin Navarro-Arribas, Guillermo Cavalli, Ana Leneutre, Jean
Springer /2011-02-22 Paperback / 273 Pages
isbn-10: 3642193471 / isbn-13: 9783642193477
Testing Software and Systems: 29th IFIP WG 6.1 International Conference, ICTSS 2017, St. Petersburg, Russia, October 9-11, 2017, Proceedings (Programming and Software Engineering)
Yevtushenko, Nina Cavalli, Ana Rosa Yenigün, Hüsnü
Springer /2017-09-15 Paperback / 354 Pages
isbn-10: 3319675486 / isbn-13: 9783319675480
Tools and Methods of Program Analysis: 6th International Conference, TMPA 2021, Tomsk, Russia, November 25–27, 2021, Revised Selected Papers (Communications in Computer and Information Science, 1559)
Yavorskiy, Rostislav Cavalli, Ana Rosa Kalenkova, Anna
Springer /2024-01-03 Paperback / 208 Pages
isbn-10: 3031504224 / isbn-13: 9783031504228
CyberSecurity in a DevOps Environment: From Requirements to Monitoring
Sadovykh, Andrey Truscan, Dragos Mallouli, Wissam Cavalli, Ana Rosa Seceleanu, Cristina Bagnato, Alessandra
Springer /2023-12-16 Hardcover / 340 Pages
isbn-10: 3031422112 / isbn-13: 9783031422119
Testing Software and Systems: 33rd IFIP WG 6.1 International Conference, ICTSS 2021, London, UK, November 10–12, 2021, Proceedings (Lecture Notes in Computer Science)
Clark, David Menendez, Hector Cavalli, Ana Rosa
Springer /2022-05-10 Paperback / 252 Pages
isbn-10: 3031046722 / isbn-13: 9783031046728
Ingénierie des protocoles et qualité de service
HERMES SCIENCE /2001-10-12 Hardcover / 268 Pages
isbn-10: 2746203154 / isbn-13: 9782746203150
Formal Description Techniques and Protocol Specification, Testing and Verification: FORTE XI/PSTV XVIII'98 IFIP TC6 WG6.1 Joint International ... and Communication Protocols (FORTE XI) and P
Budkowski, Stan Cavalli, Ana Najm, Elie
Springer /2013-03-11 Paperback / 484 Pages
isbn-10: 147575261X / isbn-13: 9781475752618
