首页>
外文OA文献
>Towards the verification of real-time systems in avionics the Cotre approach11Cotre (“COmposant Temps Réel”) is a two years project starting january 2002, supported by Réseau National des Technologies Logicielles (RNTL). The consortium is constituted by AIRBUS, TNI-Valiosys, ENST-Bretagne and the three laboratories of FéRIA (LAAS, IRIT, CERT.). Home page of project: http://www.laas.fr/COTRE
【2h】
Towards the verification of real-time systems in avionics the Cotre approach11Cotre (“COmposant Temps Réel”) is a two years project starting january 2002, supported by Réseau National des Technologies Logicielles (RNTL). The consortium is constituted by AIRBUS, TNI-Valiosys, ENST-Bretagne and the three laboratories of FéRIA (LAAS, IRIT, CERT.). Home page of project: http://www.laas.fr/COTRE
