Real-time systems specification: a process and a tool

• Authors:

• Tereza G. Kirner

• Affiliations:

• Computer Science Department, Federal University of Sao Carlos, Rodovia Washington Luiz Km 235, CEP 13560 - Sao Carlos, SP, Brazil

• Venue:
• ACM SIGSOFT Software Engineering Notes
• Year:
• 1991