%0 Thesis %1 phd/hal/Chkouri10 %A Chkouri, Mohamed Yassin %D 2010 %K dblp %T Modélisation des systèmes temps-réel embarqués en utilisant AADL pour la génération automatique d'applications formellement vérifiées. (Modelling real-time embedded systems using AADL for the automatic generation of applications formally verified).

@phdthesis{phd/hal/Chkouri10, added-at = {2020-07-21T00:00:00.000+0200}, author = {Chkouri, Mohamed Yassin}, biburl = {https://www.bibsonomy.org/bibtex/2853d310fe0195eb9fbd138f8cad1bfbc/dblp}, ee = {https://tel.archives-ouvertes.fr/tel-00516152}, interhash = {95d8fcd143dcf2d942428d8574183cb9}, intrahash = {853d310fe0195eb9fbd138f8cad1bfbc}, keywords = {dblp}, school = {Joseph Fourier University, Grenoble, France}, timestamp = {2020-07-24T00:56:24.000+0200}, title = {Modélisation des systèmes temps-réel embarqués en utilisant AADL pour la génération automatique d'applications formellement vérifiées. (Modelling real-time embedded systems using AADL for the automatic generation of applications formally verified).}, year = 2010 }