๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

[Lecture Notes in Computer Science] Lectures on Embedded Systems Volume 1494 || Formal methods in the design of a storm surge barrier control system

โœ Scribed by Rozenberg, Grzegorz; Vaandrager, Frits W.

Book ID
120626075
Publisher
Springer Berlin Heidelberg
Year
1998
Weight
933 KB
Category
Article
ISBN
3540494987

No coin nor oath required. For personal study only.

๐Ÿ“œ SIMILAR VOLUMES

[Lecture Notes in Computer Science] FMโ€™9
[Lecture Notes in Computer Science] FMโ€™99 โ€” Formal Methods Volume 1709 || Lessons from the application of formal methods to the design of a storm surge barrier control system
โœ Wing, Jeannette M.; Woodcock, Jim; Davies, Jim ๐Ÿ“‚ Article ๐Ÿ“… 1999 ๐Ÿ› Springer Berlin Heidelberg ๐ŸŒ English โš– 413 KB

Formal methods are coming of age. Mathematical techniques and tools are now regarded as an important part of the development process in a wide range of industrial and governmental organisations. A transfer of technology into the mainstream of systems development is slowly, but surely, taking place.