Jump to main content

yr 〜
yr

Search results 4

ACSD 2003 : third international conference on application of concurrency to system design : proceedings : 18-20 June 2003 Guimaraes, Portugal. : Jun 2003, Guimaraes, Portugal.

ACSD 2003 : third international conference on application of concurrency to system design : proceedings : 18-20 June 2003 Guimaraes, Portugal. : Jun 2003, Guimaraes, Portugal.
Paper図書
IEEE Computer Societyc2003.<M17-04-521>
National Diet Library
  • Author HeadingLilius, Johan. Balarin, Felice. Machado, Ricardo J. Internat...

Synchronous equivalence : formal methods for embedded systems

Synchronous equivalence : formal methods for embedded systems
Paper図書
Harry Hsieh, Felice Balarin, Alberto Sangiovanni-VincentelliKluwer Academic Publishers2001
Other Libraries in Japan
  • Author HeadingHsieh, Harry Balarin, Felice Sangiovanni-Vincentelli, Albe...

Proceedings, third International Conference on Application of Concurrency to System Design, ACSD 2003, 18-20 June 2003, Guimarães, Portugal

Proceedings, third International Conference on Application of Concurrency to System Design, ACSD 2003, 18-20 June 2003, Guimarães, Portugal
Paper図書
edited by Johan Lilius, Felice Balarin, Ricardo J. Machado ; co-sponsored by IFIP WG10.5 and SIG-ES, Colégio de Engenharia Informática da Ordem dos Engenheiros PortuguesaIEEE Computer Societyc2003
Other Libraries in Japan
  • Author Heading... Lilius, Johan Balarin, Felice Machado, Ricardo J.

Hardware-software co-design of embedded systems : the POLIS approach

Hardware-software co-design of embedded systems : the POLIS approach
Paper図書
by Felice Balarin ... [et al.]Kluwer Academic Publishersc1997
Other Libraries in Japan
  • Author HeadingBalarin, Felice

Reached to the end of result.

RSS