MODULE CHECKING OF PUSHDOWN MULTI-AGENT SYSTEMS

von Bozzelli, Laura
Veröffentlicht in International Conference on Principles of Knowledge Representation and Reasoning (17. : 2020 : Online) 17th International Conference Principles on Knowledge Representation and Reasoning (KR2020) ; Volume 1 of 2 (2021)

Expressing Structural Temporal Properties of Safety Critical Hierarchical Systems

von Benerecetti, Massimo
Veröffentlicht in QUATIC (14. : 2021 : Online) Quality of Information and Communications Technology (2021)

Inspecting Code Churns to Prioritize Test Cases

von Altiero, Francesco
Veröffentlicht in ICTSS (32. : 2020 : Online) Testing software and systems (2020)

GandALF 2014

Veröffentlicht 2017