ABZ 2014: The Landing Gear Case Study

Case Study Track, Held at the 4th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, Toulouse, France, June 2-6, 2014, Proceedings

AvFrederic Boniol,Virginie Wiels

Häftad, Engelska, 2014

Del i serien Communications in Computer and Information Science

557 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Beskrivning

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 selected from numerous submissions. They use different formal techniques: B, ASM, Fiacre. They also propose different kinds of verification such as proof, model checking, test generation, run-time monitoring, and simulation.

Produktinformation

Utforska kategorier

Innehållsförteckning

Hoppa över listan

Du kanske också är intresserad av

Del 1

Spelet

Elle Kennedy

Pocket
9

89 kr

  • 4 för 3
Del 1

Klanen

Pascal Engman

Pocket

89 kr

  • 4 för 3
Del 5

Nattankare

Kristina Ohlsson

Pocket

99 kr