High-Assurance Software Laboratory

Search: ^b

DI/FMHAS Web Changed Changed by
BestCaseRL8 02 Nov 2015 - 00:12 - r10 JoseCampos
Languages And Tools for Critical Real time Systems The goal of this project is to contribute to a change to the current paradigm of secure ITC infrastructure, according ...
BookShelf 09 Oct 2012 - 14:24 - NEW JorgeSousaPinto
http://dx.doi.org/10.1007/978 3 540 88643 3 JorgeSousaPinto 09 Oct 2012
Found 2 topics.
This site is powered by the TWiki collaboration platformCopyright © by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding TWiki? Send feedback
Syndicate this site RSSATOM