ULB Research ⤶ |
Description of the Unit | Projects of the Unit | Composition |
Collaborations of the Unit | Protected technologies | Publications | Skills |
Faculty of Sciences | Computer Science
(Code: ULB512)
Région wallonne - Autres U.E..
Artist 2 is an excellence network of the 6th framework programme of the European Union dedicated to the reliable development of embedded and embarked s ...
Fonds associés (toutes subventions, y compris la Loterie Nat.) - Autres U.E..
The CVF is a working group gathering the various teams working on computer aided verification in the Communauté Wallonie-Bruxelles in Belgium. Funded ...
Entreprises privées.
The elaboration of a framework for the development of distributed industrial supervisors and controllers leads to interesting problems, in particular t ...
Autres U.E..
The main goal of Quasimodo is to develop new techniques and tools for model-driven design, analysis, testing and code-generation for advanced embedded ...
Autres U.E..
The gasics project studies game theoretic formalizations of interactive computational systems and algorithms for their analysis and synthesis. Our aim ...
PAI.
See http://moves.vub.ac.be/