Formal methods and models for system design: a system level perspective

• Authors:

• Rajesh Gupta;Paul Le Guernic;Sandeep Kumar Shukla;Jean-Pierre Talpin

• Affiliations:

• University of California at San Diego;INRIA-IRISA;Virginia Tech;INRIA-IRISA

• Venue:
• Formal methods and models for system design: a system level perspective
• Year:
• 2004