> Research Activities Home Page </title>

<h1>Research Activities
</h1>
<HR>

These activities are carried out in the research Group 
<h3><a href="http://www.laas.fr/OCSD/OCSD.html"> Organisation and Control of Discret Systems  </a></h3> in the CNRS LAB <h3><a href="http://www.laas.fr"> Laboratory for Systems Architecture and
analysis</a></h3>.
<LI> <H3><A HREF="http://www.fernuni-hagen.de/IT/ifac-ccr"> Member of IFAC working group on real-time software engineering </A></H3>
<LI> <H3><A HREF="http://www.incose.org"> Member of International COuncil on System Engineering (INCOSE) </A></H3>

The work is presented in chronological order from the oldest activities to
the current activities (under development)
<MENU>
<LI> <H3><A HREF="monitoring.html"> Systems monitoring </A></H3>
<LI> <H3><A HREF="Timing.html">Timing constraints</A></H3>
<LI> <H3><A HREF="spec.html"> Specification of Reactive Systems </A></H3>
<LI> <H3><A HREF="multi.html"> Multiparadigms in requirement Engineering</A></H3>
<LI> <H3><A HREF="sys.html"> System Engineering</A></H3>
<P>
Publications & Events
<P>


<LI> <H3><A HREF="Events.html"> Recent Workshops/symposiums committees </A></H3>
To get more information on publications and copies please get in touch with the 
<h3><a href="http://dbserver.laas.fr/publis"> Publications and Documentation Services  </a></h3>
</menu>