Open Daily: 10am - 10pm | Alley door pickup 10am - 7pm 3038 Hennepin Ave Minneapolis, MN
612-822-4611

  • Open Daily: 10am - 10pm
    Alley-side Pickup: 10am - 7pm

    3038 Hennepin Ave Minneapolis, MN
    612-822-4611

Open Daily: 10am - 10pm | Alley-side Pickup: 10am - 7pm
3038 Hennepin Ave Minneapolis, MN
612-822-4611
Ifm'99: Proceedings of the 1st International Conference on Integrated Formal Methods, York, 28-29 June 1999

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

Galloway, Andy
Taguchi, Kenji
Araki, Keijiro

Paperback

General ComputersGeneral GardeningProgramming

ISBN10: 1852331070
ISBN13: 9781852331078
Publisher: Springer
Published: Jun 25 1999
Pages: 477
Weight: 1.52
Height: 1.00 Width: 6.14 Depth: 9.21
Language: English
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 systems, engine control software) can involve functional and timing requirements that must be eventually implemented as executing code on a communicating distributed topology. This book contains the papers presented at the First International Workshop on Integrated Formal Methods, held at the University of York in June 1999. The conference provided a forum for the discussion of theoretical aspects of combing behavioural and state-based formalisms and practical solutions to the industrial problems of this approach.

Also from

Araki, Keijiro

View All

Also in

General Gardening

View All