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]
@inproceedings{BradleyHKRH96, title = {A Formal Design and Implementation Method for Real-Time Embedded Systems}, author = {Steven Bradley and William Henderson and David Kendall and Adrian Robson and Stephen Hawkes}, year = {1996}, url = {http://csdl.computer.org/comp/proceedings/euromicro/1996/7487/00/74870077abs.htm}, tags = {design}, researchr = {https://researchr.org/publication/BradleyHKRH96}, cites = {0}, citedby = {0}, pages = {77}, booktitle = {22rd EUROMICRO Conference 96, Beyond 2000: Hardware and Software Design Strategies, September 2-5, 1996, Prague, Czech Republic}, publisher = {IEEE Computer Society}, }