About this scholarly article

Using Z to support the design of interactive safety-critical systems by Johnson, C.W. is a scholarly article available to read on EtoBox.

Author

Johnson, C.W.

Publisher

The Institution of Electrical Engineers; Institution of Electrical Engineers; Institute of Electrical Engineers; Institution of Engineering and Technology (IET) (ISSN 0268-6961)

Published

1995

Language

EN