Formal Methods and Models for System Design : a System Level Perspective /

The gap between the size of microelectronic design/validation task and our ability to design these in a reasonable time is steadly increasing. We need tools and techniques to bridge this gap. Formal models and methods hold this promise by their focus on scalability, efficiency and design optimizatio...

Full description

Bibliographic Details

Main Author:	Gupta, R. (Rajesh)
Corporate Author:	SpringerLink (Online service)
Other Authors:	Guernic, Paul Le, Shukla, Sandeep Kumar, Talpin, Jean-Pierre
Format:	eBook
Language:	English
Published:	Boston, MA : Springer US, 2004.
Subjects:	Engineering. Software engineering. Electronic data processing. Computer-aided design. Computer engineering. Systems engineering. Electronic books.
Online Access:	Connect to the full text of this electronic book