Non-functional Testing of Runtime Enforcers in Android

von Riganelli, Oliviero
Veröffentlicht in ISoLA (11. : 2022 : Rhodos) Leveraging applications of formal methods, verification and validation ; Part 1: Verification principles (2022)

A space-based interoperability model

von Bernini, Diego
Veröffentlicht in Ontology, conceptualization and epistemology for information systems, software engineering and service science (2010)