public marks

PUBLIC MARKS with tag WhosWho

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