Formal verification of probabilistic systems

von Alfaro, Luca de
Veröffentlicht 1998

Formal verification of performance and reliability of real-time systems

von Alfaro, Luca de
Veröffentlicht 1996

Continuous verfication by discrete reasoning

von Alfaro, Luca De
Veröffentlicht 1994

Decomposing, transforming and composing diagrams : the joys of modular verification

von Alfaro, Luca de
Veröffentlicht 1998

Process algebra and probabilistic methods : performance modeling and verification ; joint international workshop ; proceedings

Veröffentlicht 2001

How Divergent Is Your Data?

von Pastor, Eliana
Veröffentlicht in VLDB (47. : 2021 : Kopenhagen; Online) 47th International Conference on Very Large Data Bases 2021 ; Part 4 of 4 (2021)