An incremental specification flow for real time embedded systems (poster paper)

• Authors:

• Alex Niemegeers;Gjalt de Jong

• Affiliations:

• Alcatel SRD, F. Wellesplein 1, B-2018 Antwerp, Belgium;Alcatel SRD, F. Wellesplein 1, B-2018 Antwerp, Belgium

• Venue:
• DATE '00 Proceedings of the conference on Design, automation and test in Europe
• Year:
• 2000