Home > 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
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
Book Informaton
Author
Frederic Boniol; Virginie Wiels; Yamine Ait Ameur; Klaus-Dieter Schewe
Series
Communications in Computer and Information Science
Volume
433
Year of Publication
2014
Publisher
Springer International Publishing
Pages
XII, 161
Language
en
ISBN
9783319075112, 9783319075129, 331907511X
ARI Id
1664220613315
This page has been accessed 4 times.
Access Options
Citation Options
Download CitationShowing 1 to 14 of 14 entries
Chapters/Headings | Author(s) | Pages | Info |
1-18 | |||
19-35 | |||
36-51 | |||
52-65 | |||
66-79 | |||
80-94 | |||
95-109 | |||
110-125 | |||
126-141 | |||
142-147 | |||
148-153 | |||
154-159 | |||
Chapters/Headings | Author(s) | Pages | Info |
Showing 1 to 14 of 14 entries
Topics