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
International Conference on Abstract State Machines, Alloy, B, VDM, and Z ; 4
;
2014
;
Toulouse
International Conference on Abstract State Machines, Alloy, B, VDM, and Z ; 4 (Toulouse) : 2014.06.02-06
ABZ ; 4
;
2014
;
Toulouse
ABZ ; 4 (Toulouse) : 2014.06.02-06
2014
XII, 161 S.
Literaturangaben
Conference Proceedings
English
The Landing Gear System Case Study
British Library Conference Proceedings | 2014
|The Landing Gear System Case Study
Springer Verlag | 2014
|Engineering Index Backfile | 1943
|