A Formal Design and Implementation Method for Real-Time Embedded Systems

Steven Bradley, William Henderson, David Kendall, Adrian Robson, Stephen Hawkes. A Formal Design and Implementation Method for Real-Time Embedded Systems. In 22rd EUROMICRO Conference 96, Beyond 2000: Hardware and Software Design Strategies, September 2-5, 1996, Prague, Czech Republic. pages 77, IEEE Computer Society, 1996. [doi]

Authors

Steven Bradley

This author has not been identified. Look up 'Steven Bradley' in Google

William Henderson

This author has not been identified. Look up 'William Henderson' in Google

David Kendall

This author has not been identified. Look up 'David Kendall' in Google

Adrian Robson

This author has not been identified. Look up 'Adrian Robson' in Google

Stephen Hawkes

This author has not been identified. Look up 'Stephen Hawkes' in Google