Recent Changes - Search:

CSE dept.


This site contains wiki-pages for the department of computer science and engineering at Chalmers and GU.


edit SideBar

HAS /

High Assurance Software

Work page for a European Masters in "High Assurance Software". The propsed program is joint between Chalmers University, ELTE University (Budapest), Radboud University (Nijmegen) and Babes-Bolyai University (Cluj-Napoca).

Contacts:

Patrik Jansson was the Chalmers contact in 2010.

Misc:

(The p,a,s,s,w,o,r,d for editing these pages is the the name of the programming language associated with Rinus.)

Edit - History - Print - Recent Changes - Search
Page last modified on October 21, 2011, at 02:37 PM