Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1998 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Pilarski, F. (1998). Cost effectiveness of formal methods in the development of avionics systems at Aérospatiale. In: Bert, D. (eds) B’98: Recent Advances in the Development and Use of the B Method. B 1998. Lecture Notes in Computer Science, vol 1393. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0053353
Download citation
DOI: https://doi.org/10.1007/BFb0053353
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-64405-7
Online ISBN: 978-3-540-69769-5
eBook Packages: Springer Book Archive