Parametric Timed Bisimulation

von Lochau, Malte
Veröffentlicht in ISoLA (9. : 2020 : Online) Leveraging applications of formal methods, verification and validation ; Part 2: Engineering principles (2020)

Testing Conformance in Multi-component Enterprise Application Management

von Soldani, Jacopo
Veröffentlicht in ESOCC (8. : 2020 : Heraklion) Service-oriented and cloud computing (2020)