High-integrity system specification and design
This volume provides the reader with a comprehensive introduction to system specification and design methods, with particular emphasis on structured and formal methods, method integration, concurrency and safety-critical systems. It contains both new material by Jonathan Bowen and Michael Hinchey, along with reprints of classic articles on high-integrity systems which have never before appeared together in a single volume
Print Book, English, ©1999
Springer, London, ©1999