An Incremental Specification Flow for Real Time Embedded Systems

Alex Niemegeers, Gjalt G. de Jong. An Incremental Specification Flow for Real Time Embedded Systems. In 2000 Design, Automation and Test in Europe (DATE 2000), 27-30 March 2000, Paris, France. pages 761, IEEE Computer Society, 2000. [doi]

Authors

Alex Niemegeers

This author has not been identified. Look up 'Alex Niemegeers' in Google

Gjalt G. de Jong

This author has not been identified. Look up 'Gjalt G. de Jong' in Google