Nantilus
Modélisation et analyse de systèmes embarqués
Enregistré dans:
| Auteurs principaux : | , , , |
|---|---|
| Format : | Livre |
| Langue : | français |
| Titre complet : | Modélisation et analyse de systèmes embarqués / sous la direction de Fabrice Kordon, Jérôme Hugues, Agusti Canals... [et al.] |
| Publié : |
Paris :
Hermes Science
, DL 2013 Lavoisier |
| Description matérielle : | 1 vol. (312 p.) |
| Collection : | Collection SEE (Paris) |
| Sujets : |
| LEADER | 03412cam a2200529 4500 | ||
|---|---|---|---|
| 001 | PPN169352994 | ||
| 003 | http://www.sudoc.fr/169352994 | ||
| 005 | 20230710130700.0 | ||
| 010 | |a 978-2-7462-3900-5 |b rel. | ||
| 035 | |a (OCoLC)851937187 | ||
| 073 | 1 | |a 9782746239005 | |
| 100 | |a 20130521h20132013k y0frey0103 ba | ||
| 101 | 0 | |a fre |e myv |2 639-2 | |
| 102 | |a FR | ||
| 105 | |a a a 000yy | ||
| 106 | |a r | ||
| 181 | |6 z01 |c txt |2 rdacontent | ||
| 181 | 1 | |6 z01 |a i# |b xxxe## | |
| 182 | |6 z01 |c n |2 rdamedia | ||
| 182 | 1 | |6 z01 |a n | |
| 183 | |6 z01 |a nga |2 RDAfrCarrier | ||
| 200 | 1 | |a Modélisation et analyse de systèmes embarqués |f sous la direction de Fabrice Kordon, Jérôme Hugues, Agusti Canals... [et al.] | |
| 214 | 0 | |a Paris |c Hermes Science |c Lavoisier |d DL 2013 | |
| 215 | |a 1 vol. (312 p.) |c ill. |d 24 cm | ||
| 225 | 0 | |a Collection SEE |x 1264-4366 | |
| 300 | |a SEE = Société des électriciens et électroniciens | ||
| 314 | |a autre contribution : Alain Dohet (direction) | ||
| 320 | |a Références bibliogr. | ||
| 359 | 2 | |c Chapitre 1. Introduction générale / Fabrice KORDON, Jérôme HUGUES, Agusti CANALS, Alain DOHET |b PREMIÈRE PARTIE. PROLÉGOMÈNES |c Chapitre 2. Eléments pour la conception de systèmes embarqués / Fabrice KORDON, Jérôme HUGUES, Agusti CANALS, Alain DOHET |c Chapitre 3. Étude de cas : le pacemaker / Fabrice KORDON, Jérôme HUGUES, Agusti CANALS, Alain DOHET |b DEUXIÈME PARTIE. SYSML |c Chapitre 4. Présentation des concepts de SysML / Jean-Michel BRUEL, Pascal ROQUES |c Chapitre 5. Modélisation de l étude de cas avec SysML / Loïc FEJOZ, Philippe LEBLANC, Agusti CANALS |c Chapitre 6. Analyse des exigences /Ludovic APVRILLE, Pierre DE SAQUI-SANNES |b TROISIÈME PARTIE. MARTE |c Chapitre 7. Présentation des concepts de MARTE / Sébastien GÉRARD, François TERRIER |c Chapitre 8. Modélisation de l étude de cas avecMARTE / Jérôme DELATOUR, Joël CHAMPEAU |c Chapitre 9. Analyse à partir du modèle / Frédéric BONIOL, Philippe DHAUSSY, Luka LE ROUX, Jean-Charles ROGER |c Chapitre 10. Déploiement et génération de code à partir du modèle / Chokri MRAIDHA, Ansgar RADERMACHER, Sébastien GÉRARD |b QUATRIÈME PARTIE. AADL |c Chapitre 11. Présentation des concepts de AADL / Jérôme HUGUES, Xavier RENAULT |c Chapitre 12. Modélisation de l étude de cas avec AADL / Etienne BORDE |c Chapitre 13. Analyse à partir du modèle /Thomas ROBERT, Jérôme HUGUES |c Chapitre 14. Génération de code à partir du modèle / Laurent PAUTET, Bechir ZALILA | |
| 410 | | | |0 040428044 |t Collection SEE (Paris) |x 1264-4366 | |
| 606 | |3 PPN033217521 |a Systèmes embarqués (informatique) |3 PPN027351572 |x Simulation par ordinateur |2 rameau | ||
| 606 | |3 PPN033217521 |a Systèmes embarqués (informatique) |3 PPN027551385 |x Modèles mathématiques |2 rameau | ||
| 606 | |3 PPN13221170X |a SysML (informatique) |2 rameau | ||
| 606 | |3 PPN165278323 |a AADL (informatique) |2 rameau | ||
| 606 | |3 PPN035351772 |a UML (informatique) |2 rameau | ||
| 676 | |a 621.395 |v 22 | ||
| 676 | |a 006.22 |v 23 | ||
| 700 | 1 | |3 PPN074605283 |a Kordon |b Fabrice |4 651 | |
| 701 | 1 | |3 PPN105679569 |a Hugues |b Jérôme |f 1978-.... |4 651 | |
| 701 | 1 | |3 PPN165835370 |a Canals |b Agusti |4 651 | |
| 701 | 1 | |3 PPN172334438 |a Dohet |b Alain |4 651 | |
| 801 | 3 | |a FR |b Abes |c 20230213 |g AFNOR | |
| 979 | |a ECN | ||
| 979 | |a SCI | ||
| 930 | |5 441092104:481310983 |b 441092104 |j u | ||
| 930 | |5 441092306:489944957 |b 441092306 |a 621.38 MOD |j u | ||
| 998 | |a 651546 | ||