LEADER 01853nam 2200457 450 001 9910792393203321 005 20220530031812.0 010 $a1-78406-036-4 035 $a(CKB)2560000000328363 035 $a(MiAaPQ)EBC6482552 035 $a(Au-PeEL)EBL6482552 035 $a(OCoLC)1239983622 035 $a(PPN)194585379 035 $a(EXLCZ)992560000000328363 100 $a20220530d2014 uy 0 101 0 $afre 135 $aurcnu|||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aPrototypage rapide de logiciel pour les syste?mes avioniques $eapproches oriente?es model?e pour la certification de syste?mes complexes /$fNicolas Larrieu et Antoine Varet 210 1$aLondon, England :$cISTE Editions,$d[2014] 210 4$dİ2014 215 $a1 online resource (116 pages) 225 1 $aCollection informatique 311 $a1-78405-036-9 320 $aIncludes bibliographical references and index. 327 $aIntro -- Table des matie?res -- Introduction -- 1. Evolution des me?thodes de conception oriente?e mode?le en ge?nie logiciel -- 2. Me?thodologie de prototypage rapide pour un logiciel avionique -- 3. Mise en ?uvre de la me?thodologie de prototypage pour le de?veloppement d'un routeur avionique de nouvelle ge?ne?ration -- Conclusion -- Bibliographie -- Index. 410 0$aCollection informatique (ISTE Editions) 606 $aAvionics$xDesign and construction 615 0$aAvionics$xDesign and construction. 676 $a629.135 700 $aLarrieu$b Nicolas$0848341 702 $aVaret$b Antoine 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910792393203321 996 $aPrototypage rapide de logiciel pour les syste?mes avioniques$93728894 997 $aUNINA