Centre d'Etude et De Recherche en Informatique et Communications (EA4629) |
|
A Typed Compositional Language for Real-Time Systems
[EB07] A Typed Compositional Language for Real-Time Systems
Conférence Internationale avec comité de lecture : IEEE Int. Symposium on High Assurance Systems Engineering, Dallas, January 2007, pp.63-72,
motcle:
| @inproceedings { | |||
| EB07, | |||
| title | = | "{A Typed Compositional Language for Real-Time Systems}", | |
| author | = | " J. Etienne and S. Bouzefrane ", | |
| booktitle | = | "{ IEEE Int. Symposium on High Assurance Systems Engineering, Dallas}", | |
| year | = | 2007, | |
| month | = | "January", | |
| issue | = | 10, | |
| pages | = | "63-72", | |
| } | |||
Agenda
 Suivre le laboratoire
|
ContactsCNAM-CEDRIC ENSIIE-CEDRIC |