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

Search alternatives:
languages » language
automata » 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...”