TANKEU-CHOITAT, A., NAVARRE, D., PALANQUE, P., DELERIS, Y., FABRE, J-C und FAYOLLAS, C., 2011. Self-Checking Components for Dependable Interactive Cockpits Using Formal Description Techniques. In: . 1 Dezember 2011.
Elsevier - Harvard (with titles)Tankeu-Choitat, A., Navarre, D., Palanque, P., Deleris, Y., Fabre, J.-C., Fayollas, C., 2011. Self-Checking Components for Dependable Interactive Cockpits Using Formal Description Techniques, in: . https://doi.org/10.1109/PRDC.2011.28
American Psychological Association 7th editionTankeu-Choitat, A., Navarre, D., Palanque, P., Deleris, Y., Fabre, J.-C., & Fayollas, C. (2011, Dezember 1). Self-Checking Components for Dependable Interactive Cockpits Using Formal Description Techniques. https://doi.org/10.1109/PRDC.2011.28
Springer - Basic (author-date)Tankeu-Choitat A, Navarre D, Palanque P, Deleris Y, Fabre J-C, Fayollas C (2011) Self-Checking Components for Dependable Interactive Cockpits Using Formal Description Techniques
Juristische Zitierweise (Stüber) (Deutsch)Tankeu-Choitat, A./ Navarre, D./ Palanque, P./ Deleris, Y./ Fabre, J-C/ Fayollas, C., Self-Checking Components for Dependable Interactive Cockpits Using Formal Description Techniques, 2011, .