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 |