A formal design and implementation method for real-time embedded systems

Bibliographic Details
Title: A formal design and implementation method for real-time embedded systems
Authors: Bradley, S., Henderson, W., Kendall, D., Robson, A., Hawkes, S.
Source: Proceedings of EUROMICRO 96. 22nd Euromicro Conference. Beyond 2000: Hardware and Software Design Strategies EUROMICRO Conference EUROMICRO 96. Beyond 2000: Hardware and Software Design Strategies., Proceedings of the 22nd EUROMICRO Conference. :77-84 1996
Relation: Proceedings of EUROMICRO 96. 22nd Euromicro Conference. Beyond 2000: Hardware and Software Design Strategies
Database: IEEE Xplore Digital Library