Microelectronics Engineering Group

Microelectronics Engineering Group

Electronics Technology, Systems and Automation Engineering Department University of Cantabria
Home    Staff    Research    Teaching    Doctorate    Publications    Tools    versión en español Thu 28-Mar-24 . 22:14



Web Map


Location

News

Santander Info

GIM>Research>Publication
   PUBLICATION
 
   Full record
Title:Synthesis and formal proof language support
Type:Report, Study or Opinion by order
Where:CENELEC TC117 report
Date:1994-09
Authors: Eugenio Villar
A. Debreil
R&D Lines: Design and verification of HW/SW embedded systems
Projects: ESPRIT 8370 ESIP
ISBN:
PDF File:
Abstract:
© Copyright GIM (TEISA-UC)    ¤    All rights reserved.    ¤    Legal TermsE-Mail Webmaster