Specifying embedded systems with statecharts and Z: an agenda for cyclic software components

• Authors:

• Wolfgang Grieskamp;Maritta Heisel;Heiko Dörr

• Affiliations:

• -;-;-

• Venue:
• Science of Computer Programming - Specical issue on fundamental approaches to software engineering
• Year:
• 2001