IFM'99 : Proceedings of the 1st International Conference on Integrated Formal Methods, York, 28-29 June 1999 /

Formal methods have been established as the rigorous engineering methodology for the system development. Applying formal methods to a large and complex system development often requires the modelling of different aspects of such a system. For instance, complex systems (such as integrated avionics sy...

Full description

Bibliographic Details

Main Author:	Araki, Keijiro
Corporate Author:	SpringerLink (Online service)
Other Authors:	Galloway, Andy, Taguchi, Kenji
Format:	eBook
Language:	English
Published:	London : Springer London, 1999.
Subjects:	Computer science. Software engineering. Electronic books.
Online Access:	Connect to the full text of this electronic book