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...
Saved in:
Online Access: |
Full Text (via Springer) |
---|---|
Corporate Author: | |
Other Authors: | , , |
Format: | Conference Proceeding eBook |
Language: | English |
Published: |
London ; New York :
Springer,
©1999.
|
Subjects: |
Internet
Full Text (via Springer)Online
Call Number: |
QA76.9.F67 I58 1999
|
---|---|
QA76.9.F67 I58 1999 | Available |