The Science of Quantitative Information Flow von Alvim, Mário S., Chatzikokolakis, Konstantinos, McIver, Annabelle, Morgan, Carroll, Palamidessi, Catuscia, Smith, Geoffrey

Volltext

Abstraction, refinement and proof for probabilistic systems von McIver, Annabelle, Morgan, Carroll

Quantitative evaluation of systems 15th International Conference, QEST 2018, Beijing, China, September 4-7, 2018 : proceedings

Weitere Verfasser: “… McIver, Annabelle 1964- …”
BTU01
FHA01
FHI01
FHM01
FHN01
FHR01
FKE01
FLA01
FRO01
FWS01
FWS02
HTW01
TUM01
UBA01
UBG01
UBM01
UBR01
UBT01
UBW01
UBY01
UER01
UPA01
URL des Erstveröffentlichers

Formal Methods – The Next 30 Years Third World Congress, FM 2019, Porto, Portugal, October 7–11, 2019, Proceedings

Weitere Verfasser: BTU01
FHA01
FHI01
FHM01
FHN01
FHR01
FKE01
FLA01
FRO01
FWS01
FWS02
HTW01
TUM01
UBG01
UBM01
UBR01
UBT01
UBW01
UBY01
UER01
UPA01
URL des Erstveröffentlichers

Programming methodology

Weitere Verfasser: “… McIver, Annabelle …”

Quantitative evaluation of systems 15th international conference, QEST 2018, Beijing, China, September 4-7, 2018 : proceedings

Weitere Verfasser: “… McIver, Annabelle 1964- …”