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)

Mobility Data Analytics with KNOT: The KNime mObility Toolkit

von Martino, Sergio Di
Veröffentlicht in W2GIS (20. : 2023 : Québec City) Web and wireless geographical information systems (2023)

Web and wireless geographical information systems : 21st international symposium, W2GIS 2024, Yverdon-les-Bains, Switzerland, June 17-18, 2024 : proceedings

Veröffentlicht 2024