Savi Maharaj
2 published titles
IEEE 1394 (FireWire) Workshop : international workshop on application of formal methods to IEEE 1394 standard : Berlin, March 13, 2001
(Contributor)
1 edition
- ISBN: 1857691539
- University of Stirling, Dept. of Computing Science and Mathematics
- 2001
- Details
Push-button tools for application developers, full formal verification for component vendors
(Contributor)
1 edition
- Department of Computing Science and Mathematics, University of Stirling
- 2007
- Details
