IFM '99 : proceedings of the 1st International Conference on Integrated Formal Methods, York, 28-29 June 1999 / Keijiro Araki, Andy Galloway, and Kenji Taguchi (eds.)

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

Saved in:
Bibliographic Details
Online Access: Full Text (via Springer)
Corporate Author: International Conference on Integrated Formal Methods York, England
Other Authors: Araki, Keijirō, 1954-, Galloway, Andy, 1968-, Taguchi, Kenji, 1956-
Format: Conference Proceeding eBook
Language:English
Published: London ; New York : Springer, ©1999.
Subjects:

Internet

Full Text (via Springer)

Online

Holdings details from Online
Call Number: QA76.9.F67 I58 1999
QA76.9.F67 I58 1999 Available