Annabelle McIver

Annabelle McIver

2 ספרים במאגר

ספרים

Abstraction, refinement and proof for probabilistic systemsAnnabelle McIver

Abstraction, refinement and proof for probabilistic systems

Annabelle McIver · 2004

Quantitative Evaluation of SystemsAnnabelle McIver

Quantitative Evaluation of Systems

Annabelle McIver · 2018

ספרים משותפים ואוספים

ספרים שבהם Annabelle McIver מופיע/ה ברשימת המחברים, לא כמחבר/ת הראשי/ת: ספרים משותפים, אוספים וסיכומים.

The Science of Quantitative Information FlowMário S. Alvim

The Science of Quantitative Information Flow

Mário S. Alvim · 2020

Formal Methods – The Next 30 YearsMaurice H. ter Beek

Formal Methods – The Next 30 Years

Maurice H. ter Beek · 2019