All Computer Science Titles
Abstract Computing Machines
Abstract State Machines, Alloy, B, TLA, VDM, and Z
Yamine Ait Ameur, Klaus-Dieter Schewe
This book constitutes the thoroughly refereed proceedings of the 4th International Conference on Abstract State Machines, B, TLA, VDM and Z, which took place in Toulouse, France, in June 2014. The 13 ...
Abstraction, Refinement and Proof for Probabilistic Systems
Annabelle McIver, Charles Carroll Morgan
ABZ 2014: The Landing Gear Case Study
Frederic Boniol, Virginie Wiels, Yamine Ait Ameur, Klaus-Dieter Schewe
This volume contains proceedings of the Case Study Track, held at the 4th International Conference, ABZ 2014, in Toulouse, France, in June 2014.
The 11 papers presented were carefully reviewed and sel ...