public marks

PUBLIC MARKS with tags WhosWho & del.icio.us

08 February 2006

28 January 2006

25 January 2006

VeriCode Home Page

by GeorgesMariano
The Code Verification subgroup focuses on the task of formal verification of program code. That is, given a programming language (Java, Erlang) we provide a method for checking whether a program satisfies its correctness requirements.

West Team: High Performance Computing

by GeorgesMariano
Co-modeling for SoC Design West Team: High Performance Computing

Daniel DEVEAUX

by GeorgesMariano
[email protected] Campus de Tohannic, Rue Yves Mainguy / IUT, 8 rue Montaigne 56000 Vannes, FRANCE Tél : +33 297 017 241 / 626 451 Fax : +33 297 683 233

22 January 2006

PUBLIC TAGS related to tag WhosWho

Bmethod +   cnrs +   component +   del.icio.us +   Deveaux +   ens +   java +   LIFL +  

Active users

GeorgesMariano
last mark : 08/02/2006 13:38