Projects per year
- 50 - 65 out of 65 results
Search results
-
Research
-
LogiCCC: Modelling intelligent interaction - Logic in the Humanities, Social and Computational sciences
9/12/07 → 31/12/11
Project: Research
-
-
BAAR: Extending formal methods for requirements engineering to risk management
1/11/99 → 31/10/03
Project: Research
-
ModelAge: A common formal model of cooperating intelligent agents
Schobbens, P. Y., DUBOIS, E. & Petit, M.
1/09/93 → 31/03/97
Project: Research
-
EUTYPES: The European research network on types for programming and verification
21/03/16 → 20/03/20
Project: Research
-
Artist: Network of Excellence in Embedded Systems Design
Schobbens, P. Y. & Bontemps, Y.
1/07/04 → 1/07/07
Project: Research
-
SIICA: Integrated information and communication system for air traffic control
15/12/01 → 31/12/03
Project: Research
-
-
WebDeb: The Web Deb Project
Schobbens, P. Y., GILSON, F., COUGNON, L., Delvaux, B., Fairon, C. & Roekhaut, S.
1/09/14 → 31/01/18
Project: Research
-
IRIS: Integration of Research in Information Systems
Englebert, V., Habra, N., Hainaut, J., Heymans, P., Petit, M. & Schobbens, P. Y.
1/03/07 → 31/12/11
Project: Research
-
CAT: Tools for the modelling and analysis of requirements for telecommunication systems
Schobbens, P. Y., DUBOIS, E., Heymans, P., Petit, M. & Zeippen, J.
1/04/95 → 1/07/01
Project: Research
-
RENOIR: Requirements Engineering Network Of International cooperating Research groups
Schobbens, P. Y., Heymans, P. & Petit, M.
1/06/97 → 31/05/00
Project: Research