Vérification et analyse de performance d’un protocole de gestion de session

von Vieira, Dario
Veröffentlicht in CFIP (Veranstaltung : 12. : 2006 : Tozeur) CFIP'2006 (2006)

From Formal Test Objectives to TTCN-3 for Verifying ETCS Complex Software Control Systems

von Ameur-Boulifa, Rabea
Veröffentlicht in ICSOFT (14. : 2019 : Prag) Software technologies (2020)

SDL '97 : time for testing SDL, MSC and trends ; proceedings of the Eighth SDL Forum, Evry, France, 23 - 26 September, 1997

Veröffentlicht 1997

ICST 2010, the Third IEEE Conference on Software Testing, Verification, and Validation

Veröffentlicht 2013

Metrics-driven DevSecOps

von Mallouli, Wissam
Veröffentlicht in ICSOFT (15. : 2020 : Online) ICSOFT 2020 (2020)

A Framework for Security Monitoring of Real IoT Testbeds

von La, Vinh Hoa
Veröffentlicht in ICSOFT (16. : 2021 : Online) ICSOFT 2021 (2021)

Digital Twin for IoT Environments: A Testing and Simulation Tool

von Nguyen, Luong
Veröffentlicht in QUATIC (15. : 2022 : Talavera de la Reina) Quality of information and communications technology (2022)

Reflective Attenuation of Cyber-Physical Attacks

von Segovia, Mariana
Veröffentlicht in ESORICS (24. : 2019 : Luxemburg) Computer security (2020)

Attack Configuration Engine for 5G Networks

von Salazar, Zujany
Veröffentlicht in ICTSS (33. : 2021 : Online) Testing software and systems (2022)

Quality of Information and Communications Technology : 14th International Conference, QUATIC 2021,Algarve, Portugal, September 8–11, 2021, proceedings

Veröffentlicht 2021

NLP-based Testing and Monitoring for Security Checking

von Sadovykh, Andrey
Veröffentlicht in ICTSS (33. : 2021 : Online) Testing software and systems (2022)

Tools and methods of program analysis : 6th international conference, TMPA 2021, Tomsk, Russia, November 25-27, 2021 : revised selected papers

Veröffentlicht 2024

Testing software and systems : 33rd IFIP WG 6.1 International Conference, ICTSS 2021, London, UK, November 10-12, 2021, proceedings

Veröffentlicht 2022

Testing software and systems : 29th IFIP WG 6.1 International Conference, ICTSS 2017, St. Petersburg, Russia, October 9-11, 2017 : proceedings

Veröffentlicht 2017

Formal description techniques and protocol specification, testing, and verification : FORTE XI/PSTV XVIII '98, IFIP TC6 WG6.1 Joint International Conference on Formal Description...

Veröffentlicht 1998