PhD thesis,

The use of formal methods for safety-critical systems.

.
Kingston University, Kingston upon Thames, London, UK, (1997)British Library, EThOS.

Meta data

Tags

Users

  • @dblp

Comments and Reviews