Formal Methods in Safety Critical Systems (Iee Pab Report, No 9)
Publisher: Institution of Electrical Engineers
Published: September 1992
Language: eng
Format: Paperback
Number of pages: 11
ISBN-13: 9780852965184
Subjects: Systems Analysis (Computer Science); Technology; Technology & Industrial Arts; Science/Mathematics; General; Electronics & Communications Engineering; Engineering: general; Industrial quality control; Reference