MPG.eBooks - Search Results - formal (languages OR language) and automata theory

Search alternatives:
automata » automated , automatic

Cover Image

1

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...

Published 2014

Springer International Publishing

Table of Contents: “...Formal techniques: B, ASM, Fiacre -- Kinds of verification -- Proof -- Model checking -- Test...”