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 |