IST-2001-33522 OMEGA

Correct Development of Real-Time Embedded Systems

Project partners

Home

The OMEGA toolset

The OMEGA UML profile

Publications and bibliography

Download documents

Partners & Persons

(Re-)Login

Untitled Document

VERIMAG Grenoble, France Coordinator Susanne Graf Manuel Aguilar Marius Bozga Yassine Lakhnech Ileana Ober Iulian Ober Joseph Sifakis		Centrum voor Wiskunde en Informatica Amsterdam, The Netherlands Farhad Arbab Frank de Boer Marcello Bonsangue Joost Jacob Mark van der Zwaag		Christian-Albrechts-Universität Kiel, Germany Erika Abraham-Mumm Marcel Kyas Willem-Paul de Roever Shafiq Rehman Martin Steffen		University of Nijmegen The Netherlands Jozef Hooman Mark van der Zwaag

Weizmann Institute Rehovot, Israel Amir Pnueli Harel David Hillel Kugler Yonit Kesten		OFFIS Oldenburg, Germany Bernhard Josko Werner Damm Angelika Votintseva		EADS SPACE Transportation France Nicolas Fouillet Bernard Guichet David Lesens		France Telecom R&D France Pierre Combes Benoit Parreaux Daniel Vincent

Israeli Aircraft Industries Israel Guy Halman Michael Winokur Meir Zenou		National Aerospace Laboratory The Netherlands Ernst Kesseler Yuri A. Yushtein

You are currently authenticated as omegapublic (level 0)
(Re-)Login

For comments about this site please contact the webmaster