-
61
المؤلفون: Nawal Addouche, Jacky Montmain, Christian Antoine
المساهمون: Laboratoire de Génie Informatique et Ingénierie de Production (LGI2P), IMT - MINES ALES (IMT - MINES ALES), Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT), Montmain, Jacky
المصدر: Proceedings IEEE International Conference on Computational Intelligence for Modelling, Control and Automation (CIMCA06)
IEEE International Conference on Computational Intelligence for Modelling, Control and Automation (CIMCA06)
IEEE International Conference on Computational Intelligence for Modelling, Control and Automation (CIMCA06), 2006, Sydney, Australia
HAL
CIMCA/IAWTICمصطلحات موضوعية: UML tool, Computer science, Concurrency, Real-time computing, Probabilistic logic, Applications of UML, Computer Science::Software Engineering, 020207 software engineering, 02 engineering and technology, computer.software_genre, [INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation, Unified Modeling Language, 0202 electrical engineering, electronic engineering, information engineering, Dependability, 020201 artificial intelligence & image processing, Temporal logic, [INFO.INFO-MO] Computer Science [cs]/Modeling and Simulation, Formal verification, computer, computer.programming_language
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::7e3fe3788ef0f27fb223de55c9a6981a
https://hal.archives-ouvertes.fr/hal-00354001 -
62
المؤلفون: Radouane Fikri, Jérôme Olivier Vasseur, Bahram Djafari-Rouhani, M. Beaugeois, Jean-Pierre Vilcot, Leonard Dobrzynski, Yan Pennec, M. Bouazaoui, Abdellatif Akjouj, Jean-Pol Vigneron
المساهمون: Institut d’Électronique, de Microélectronique et de Nanotechnologie (IEMN) - UMR 8520 (IEMN), Ecole Centrale de Lille-Institut supérieur de l'électronique et du numérique (ISEN)-Université de Valenciennes et du Hainaut-Cambrésis (UVHC)-Université de Lille-Centre National de la Recherche Scientifique (CNRS)-Université Polytechnique Hauts-de-France (UPHF), Institut d’Électronique, de Microélectronique et de Nanotechnologie - UMR 8520 (IEMN), Centrale Lille-Institut supérieur de l'électronique et du numérique (ISEN)-Université de Valenciennes et du Hainaut-Cambrésis (UVHC)-Université de Lille-Centre National de la Recherche Scientifique (CNRS)-Université Polytechnique Hauts-de-France (UPHF), Physique-IEMN (PHYSIQUE-IEMN), Centrale Lille-Institut supérieur de l'électronique et du numérique (ISEN)-Université de Valenciennes et du Hainaut-Cambrésis (UVHC)-Université de Lille-Centre National de la Recherche Scientifique (CNRS)-Université Polytechnique Hauts-de-France (UPHF)-Centrale Lille-Institut supérieur de l'électronique et du numérique (ISEN)-Université de Valenciennes et du Hainaut-Cambrésis (UVHC)-Université de Lille-Centre National de la Recherche Scientifique (CNRS)-Université Polytechnique Hauts-de-France (UPHF), Acoustique - IEMN, Physique - IEMN (PHYSIQUE - IEMN), Acoustique - IEMN (ACOUSTIQUE - IEMN), Laboratoire de dynamique et structure des matériaux moléculaires (LDSMM), Université de Lille, Sciences et Technologies-Université du Littoral Côte d'Opale (ULCO)-Centre National de la Recherche Scientifique (CNRS), Georgia Tech Lorraine [Metz], Ecole Nationale Supérieure des Arts et Metiers Metz-Georgia Institute of Technology [Atlanta]-Ecole Supérieure d'Electricité - SUPELEC (FRANCE)-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-Université de Franche-Comté (UFC), Université Bourgogne Franche-Comté [COMUE] (UBFC)-Université Bourgogne Franche-Comté [COMUE] (UBFC), Franche-Comté Électronique Mécanique, Thermique et Optique - Sciences et Technologies (UMR 6174) (FEMTO-ST), Université de Technologie de Belfort-Montbeliard (UTBM)-Ecole Nationale Supérieure de Mécanique et des Microtechniques (ENSMM)-Centre National de la Recherche Scientifique (CNRS)-Université de Franche-Comté (UFC), Centrale Lille-Université de Lille-Centre National de la Recherche Scientifique (CNRS)-Université Polytechnique Hauts-de-France (UPHF)-JUNIA (JUNIA), Université catholique de Lille (UCL)-Université catholique de Lille (UCL)-Centrale Lille-Université de Lille-Centre National de la Recherche Scientifique (CNRS)-Université Polytechnique Hauts-de-France (UPHF)-JUNIA (JUNIA), Université catholique de Lille (UCL)-Université catholique de Lille (UCL), Université Lille Nord (France), Centre d'Etudes et de Recherches Lasers et Applications (CERLA), Université de Lille, Sciences et Technologies, Laboratoire de Physique des Lasers, Atomes et Molécules - UMR 8523 (PhLAM), Université de Lille-Centre National de la Recherche Scientifique (CNRS), Institut Lavoisier de Versailles (ILV), Université de Versailles Saint-Quentin-en-Yvelines (UVSQ)-Institut de Chimie du CNRS (INC)-Centre National de la Recherche Scientifique (CNRS)
المصدر: Applied Physics Letters
Applied Physics Letters, American Institute of Physics, 2006, 89, pp.101113-1-3
Applied Physics Letters, American Institute of Physics, 2006, 89 (10), pp.101113. ⟨10.1063/1.2345251⟩
Applied Physics Letters, 2006, 89 (10), pp.101113. ⟨10.1063/1.2345251⟩مصطلحات موضوعية: [PHYS]Physics [physics], Materials science, Physics and Astronomy (miscellaneous), business.industry, Finite-difference time-domain method, Computer Science::Software Engineering, 02 engineering and technology, Condensed Matter::Mesoscopic Systems and Quantum Hall Effect, 01 natural sciences, Waveguide (optics), Electromagnetic transmission, Computer Science::Other, Stub (electronics), 010309 optics, Resonator, [SPI]Engineering Sciences [physics], 020210 optoelectronics & photonics, Optics, Q factor, 0103 physical sciences, 0202 electrical engineering, electronic engineering, information engineering, Air gap (plumbing), Optical filter, business, ComputingMilieux_MISCELLANEOUS
-
63
المؤلفون: Truong, Ninh Thuan, Souquières, Jeanine
المساهمون: Souquières, Jeanine, Development of specifications (DEDALE), Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Institut National de Recherche en Informatique et en Automatique (Inria)-Université Henri Poincaré - Nancy 1 (UHP)-Université Nancy 2-Institut National Polytechnique de Lorraine (INPL)-Centre National de la Recherche Scientifique (CNRS)-Institut National de Recherche en Informatique et en Automatique (Inria)-Université Henri Poincaré - Nancy 1 (UHP)-Université Nancy 2-Institut National Polytechnique de Lorraine (INPL)-Centre National de la Recherche Scientifique (CNRS), Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique de Lorraine (INPL)-Université Nancy 2-Université Henri Poincaré - Nancy 1 (UHP)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique de Lorraine (INPL)-Université Nancy 2-Université Henri Poincaré - Nancy 1 (UHP)-Institut National de Recherche en Informatique et en Automatique (Inria)
المصدر: Journal of Information Science and Engineering
Journal of Information Science and Engineering, 2006, 22, pp.357-373
Journal of Information Science and Engineering, Academia Sinica, 2006, 22, pp.357-373مصطلحات موضوعية: UML models, well-formedness rules, B method, Software_SOFTWAREENGINEERING, [INFO.INFO-SE] Computer Science [cs]/Software Engineering [cs.SE], UML metamodel, Computer Science::Programming Languages, Computer Science::Software Engineering, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], Software_PROGRAMMINGLANGUAGES, formal verification
وصف الملف: application/pdf
URL الوصول: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::cfbe20777c67eee3cbbf13969437017d
https://hal.archives-ouvertes.fr/hal-00097566 -
64
المؤلفون: Lev I. Dorman
المساهمون: Israel Cosmic Ray and Space Weather Center and Emilio Segre' Observatory, Tel Aviv University [Tel Aviv], Pushkov Institute of Terrestrial Magnetism, Ionosphere and Radio Wave Propagation (IZMIRAN), Russian Academy of Sciences [Moscow] (RAS), EGU, Publication
المصدر: Annales Geophysicae
Annales Geophysicae, European Geosciences Union, 2005, 23 (9), pp.3019-3026
Annales Geophysicae, Vol 23, Iss 9, Pp 3019-3026 (2005)
Annales Geophysicae, Vol 23, Pp 3019-3026 (2005)مصطلحات موضوعية: Atmospheric Science, 010504 meteorology & atmospheric sciences, Meteorology, Magnetosphere, [SDU.STU]Sciences of the Universe [physics]/Earth Sciences, Cosmic ray, Radiation, Radiation hazard, 7. Clean energy, 01 natural sciences, Rigidity (electromagnetism), 0103 physical sciences, Earth and Planetary Sciences (miscellaneous), Personal health, lcsh:Science, 010303 astronomy & astrophysics, Physics::Atmospheric and Oceanic Physics, 0105 earth and related environmental sciences, Physics, [SDU.OCEAN]Sciences of the Universe [physics]/Ocean, Atmosphere, Spacecraft, business.industry, [SDU.OCEAN] Sciences of the Universe [physics]/Ocean, Atmosphere, lcsh:QC801-809, Computer Science::Software Engineering, Geology, Astronomy and Astrophysics, lcsh:QC1-999, Solar wind, lcsh:Geophysics. Cosmic physics, 13. Climate action, Space and Planetary Science, Physics::Space Physics, [SDU.STU] Sciences of the Universe [physics]/Earth Sciences, lcsh:Q, business, lcsh:Physics
وصف الملف: application/pdf
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::9cb9a8c73d8bea6d309673d38535a79d
https://hal.archives-ouvertes.fr/hal-00317984/file/angeo-23-3019-2005.pdf -
65
المؤلفون: Hassan Aboushady, N. Beilleau, Marie-Minerve Louerat
المساهمون: Circuits Intégrés Numériques et Analogiques (CIAN), Laboratoire d'Informatique de Paris 6 (LIP6), Université Pierre et Marie Curie - Paris 6 (UPMC)-Centre National de la Recherche Scientifique (CNRS)-Université Pierre et Marie Curie - Paris 6 (UPMC)-Centre National de la Recherche Scientifique (CNRS)
المصدر: MWSCAS 2005-48th Midwest Symposium on Circuits and Systems
MWSCAS 2005-48th Midwest Symposium on Circuits and Systems, Aug 2005, Cincinnati, Ohio, United States. pp.696-699, ⟨10.1109/MWSCAS.2005.1594196⟩مصطلحات موضوعية: Finite impulse response, Computer science, 020208 electrical & electronic engineering, Sigma, Computer Science::Software Engineering, ComputerApplications_COMPUTERSINOTHERSYSTEMS, 02 engineering and technology, Transfer function, Loop (topology), Noise, Nonlinear Sciences::Adaptation and Self-Organizing Systems, Delta modulation, Software_SOFTWAREENGINEERING, Control theory, 0202 electrical engineering, electronic engineering, information engineering, Node (circuits), [INFO]Computer Science [cs], Linear filter
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::1503118539ba619860afe20721eda593
https://hal.science/hal-01419669 -
66
المؤلفون: Théodore Papadopoulo, Monique Teillaud, Kenton McHenry, Jean Ponce, Bill Triggs
المساهمون: The Beckman Institute for Advanced Science and Technology, University of Illinois at Urbana-Champaign [Urbana], University of Illinois System-University of Illinois System, Computer and biological vision (ODYSSEE), Département d'informatique de l'École normale supérieure (DI-ENS), École normale supérieure - Paris (ENS Paris), Université Paris sciences et lettres (PSL)-Université Paris sciences et lettres (PSL)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-École normale supérieure - Paris (ENS Paris), Université Paris sciences et lettres (PSL)-Université Paris sciences et lettres (PSL)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-Inria Sophia Antipolis - Méditerranée (CRISAM), Institut National de Recherche en Informatique et en Automatique (Inria)-Inria Paris-Rocquencourt, Institut National de Recherche en Informatique et en Automatique (Inria)-École des Ponts ParisTech (ENPC), Geometry, algebra, algorithms (GALAAD), Inria Sophia Antipolis - Méditerranée (CRISAM), Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Université Nice Sophia Antipolis (... - 2019) (UNS), COMUE Université Côte d'Azur (2015-2019) (COMUE UCA)-COMUE Université Côte d'Azur (2015-2019) (COMUE UCA)-Centre National de la Recherche Scientifique (CNRS), Learning and recognition in vision (LEAR), Laboratoire d'informatique GRAphique, VIsion et Robotique de Grenoble (GRAVIR - IMAG), Université Joseph Fourier - Grenoble 1 (UJF)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique de Grenoble (INPG)-Université Joseph Fourier - Grenoble 1 (UJF)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique de Grenoble (INPG)-Inria Grenoble - Rhône-Alpes, Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS), Département d'informatique - ENS Paris (DI-ENS), École normale supérieure - Paris (ENS-PSL), Université Paris sciences et lettres (PSL)-Université Paris sciences et lettres (PSL)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-École normale supérieure - Paris (ENS-PSL), Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Université Nice Sophia Antipolis (1965 - 2019) (UNS), Université Joseph Fourier - Grenoble 1 (UJF)-Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National Polytechnique de Grenoble (INPG)-Centre National de la Recherche Scientifique (CNRS)-Université Joseph Fourier - Grenoble 1 (UJF)-Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National Polytechnique de Grenoble (INPG)-Centre National de la Recherche Scientifique (CNRS)-Inria Grenoble - Rhône-Alpes, Centre National de la Recherche Scientifique (CNRS)-Institut National de Recherche en Informatique et en Automatique (Inria)-École normale supérieure - Paris (ENS Paris), Université Paris sciences et lettres (PSL)-Université Paris sciences et lettres (PSL)-Centre National de la Recherche Scientifique (CNRS)-Institut National de Recherche en Informatique et en Automatique (Inria)-École normale supérieure - Paris (ENS Paris), Université Paris sciences et lettres (PSL)-Université Paris sciences et lettres (PSL)-Inria Sophia Antipolis - Méditerranée (CRISAM)
المصدر: IEEE Conference on Computer Vision & Pattern Recognition (CPRV '05)
IEEE Conference on Computer Vision & Pattern Recognition (CPRV '05), Jun 2005, San Diego, United States. pp.780--787, ⟨10.1109/CVPR.2005.256⟩
CVPR (1)مصطلحات موضوعية: Aspect ratio, Geometry, 02 engineering and technology, Rank (differential topology), Omega, Square (algebra), Combinatorics, Nonlinear Sciences::Adaptation and Self-Organizing Systems, Quadratic equation, 0502 economics and business, 0202 electrical engineering, electronic engineering, information engineering, computational geometry, Symmetric matrix, Mathematics, 050210 logistics & transportation, computational complexity, business.industry, 05 social sciences, Computer Science::Software Engineering, [INFO.INFO-CV]Computer Science [cs]/Computer Vision and Pattern Recognition [cs.CV], matrix algebra, calibration, image processing, Conic section, Line (geometry), 020201 artificial intelligence & image processing, Artificial intelligence, business
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::1cc18fee6fed79ac868f8bf2689522e1
https://hal.inria.fr/inria-00548505/document -
67
المؤلفون: Latiri, Anis, Aboushady, Hassan, Beilleau, Nicolas
المساهمون: Circuits Intégrés Numériques et Analogiques (CIAN), Laboratoire d'Informatique de Paris 6 (LIP6), Université Pierre et Marie Curie - Paris 6 (UPMC)-Centre National de la Recherche Scientifique (CNRS)-Université Pierre et Marie Curie - Paris 6 (UPMC)-Centre National de la Recherche Scientifique (CNRS)
المصدر: ISCAS 2005-IEEE International Symposium on Circuits and Systems
ISCAS 2005-IEEE International Symposium on Circuits and Systems, May 2005, Kobe, Japan. pp.3672-3675, ⟨10.1109/ISCAS.2005.1465426⟩مصطلحات موضوعية: Computer Science::Hardware Architecture, Computer Science::Software Engineering, ComputerSystemsOrganization_SPECIAL-PURPOSEANDAPPLICATION-BASEDSYSTEMS, [INFO]Computer Science [cs]
URL الوصول: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::43bff629cbe7c1fdb8fc7238ac63d6bf
https://hal.archives-ouvertes.fr/hal-01418352 -
68
المؤلفون: Rachid Harba, E. Perrin, I. Iribarren, Rachid Jennane
المساهمون: Département Images, Robotique, Automatique et Signal [Orléans] (IRAUS), Laboratoire pluridisciplinaire de recherche en ingénierie des systèmes, mécanique et énergétique (PRISME), Université d'Orléans (UO)-Institut National des Sciences Appliquées - Centre Val de Loire (INSA CVL), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université d'Orléans (UO)-Institut National des Sciences Appliquées - Centre Val de Loire (INSA CVL), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA), Escuela de Matematicas [Caracas], Universidad Central de Venezuela (UCV), Laboratoire Creatis, Compte Général, Centre de Recherche et d'Application en Traitement de l'Image et du Signal (CREATIS), Université Claude Bernard Lyon 1 (UCBL), Université de Lyon-Université de Lyon-Institut National des Sciences Appliquées de Lyon (INSA Lyon), Université de Lyon-Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-École Supérieure Chimie Physique Électronique de Lyon-Institut National de la Santé et de la Recherche Médicale (INSERM)-Centre National de la Recherche Scientifique (CNRS), Jennane, Rachid
المصدر: IEEE Signal Processing Magazine
IEEE Signal Processing Magazine, Institute of Electrical and Electronics Engineers, 2005, 53 (3), pp.1211-1215
IEEE Transactions on Signal Processing
IEEE Transactions on Signal Processing, Institute of Electrical and Electronics Engineers, 2005, 53 (3), pp.1211-1215مصطلحات موضوعية: [SPI.OPTI] Engineering Sciences [physics]/Optics / Photonic, [SDV.IB.IMA]Life Sciences [q-bio]/Bioengineering/Imaging, Gaussian, [INFO.INFO-IM] Computer Science [cs]/Medical Imaging, fractional Brownian motion, 02 engineering and technology, Omega, Nonlinear Sciences::Adaptation and Self-Organizing Systems, Mathematics::Probability, [INFO.INFO-TS]Computer Science [cs]/Signal and Image Processing, 0202 electrical engineering, electronic engineering, information engineering, Calculus, Brownian motion, Mathematics, [SDV.MHEP] Life Sciences [q-bio]/Human health and pathology, self-similarity, Mathematical analysis, [PHYS.MECA.ACOU]Physics [physics]/Mechanics [physics]/Acoustics [physics.class-ph], [SPI.ELEC]Engineering Sciences [physics]/Electromagnetism, [INFO.INFO-TI] Computer Science [cs]/Image Processing [eess.IV], [INFO.INFO-TI]Computer Science [cs]/Image Processing [eess.IV], [PHYS.PHYS.PHYS-MED-PH]Physics [physics]/Physics [physics]/Medical Physics [physics.med-ph], symbols, Piecewise, [SDV.IB]Life Sciences [q-bio]/Bioengineering, 020201 artificial intelligence & image processing, [PHYS.MECA.ACOU] Physics [physics]/Mechanics [physics]/Acoustics [physics.class-ph], Fractal, [SPI.SIGNAL]Engineering Sciences [physics]/Signal and Image processing, [INFO.INFO-TS] Computer Science [cs]/Signal and Image Processing, symbols.namesake, [INFO.INFO-IM]Computer Science [cs]/Medical Imaging, Electrical and Electronic Engineering, Gaussian process, [SPI.SIGNAL] Engineering Sciences [physics]/Signal and Image processing, [SPI.ACOU]Engineering Sciences [physics]/Acoustics [physics.class-ph], [SDV.IB] Life Sciences [q-bio]/Bioengineering, [SPI.ACOU] Engineering Sciences [physics]/Acoustics [physics.class-ph], [PHYS.PHYS.PHYS-MED-PH] Physics [physics]/Physics [physics]/Medical Physics [physics.med-ph], Fractional Brownian motion, Stochastic process, [SPI.ELEC] Engineering Sciences [physics]/Electromagnetism, ACL, Computer Science::Software Engineering, 020206 networking & telecommunications, [SDV.IB.IMA] Life Sciences [q-bio]/Bioengineering/Imaging, Gaussian noise, Signal Processing, [SPI.OPTI]Engineering Sciences [physics]/Optics / Photonic, [SDV.MHEP]Life Sciences [q-bio]/Human health and pathology
-
69
المؤلفون: Bahram Djafari-Rouhani, Abdelkrim Choujaa, Vincent Laude, Abdelkrim Khelif, Sarah Benchabane
المساهمون: Franche-Comté Électronique Mécanique, Thermique et Optique - Sciences et Technologies (UMR 6174) (FEMTO-ST), Université de Technologie de Belfort-Montbeliard (UTBM)-Ecole Nationale Supérieure de Mécanique et des Microtechniques (ENSMM)-Université de Franche-Comté (UFC), Université Bourgogne Franche-Comté [COMUE] (UBFC)-Université Bourgogne Franche-Comté [COMUE] (UBFC)-Centre National de la Recherche Scientifique (CNRS), Laboratoire de dynamique et structure des matériaux moléculaires (LDSMM), Université de Lille, Sciences et Technologies-Université du Littoral Côte d'Opale (ULCO)-Centre National de la Recherche Scientifique (CNRS)
المصدر: EPL-Europhysics Letters
EPL-Europhysics Letters, European Physical Society/EDP Sciences/Società Italiana di Fisica/IOP Publishing, 2005, 71, pp.570. ⟨10.1209/epl/i2005-10131-2⟩مصطلحات موضوعية: Waveguide (electromagnetism), Materials science, Band gap, General Physics and Astronomy, Physics::Optics, 02 engineering and technology, 01 natural sciences, Rod, Resonator, Optics, 0103 physical sciences, 010306 general physics, Nonlinear Sciences::Pattern Formation and Solitons, [SPI.ACOU]Engineering Sciences [physics]/Acoustics [physics.class-ph], business.industry, Bandwidth (signal processing), Computer Science::Software Engineering, Acoustic wave, 021001 nanoscience & nanotechnology, Condensed Matter::Mesoscopic Systems and Quantum Hall Effect, Stub (electronics), Computer Science::Other, [PHYS.MECA.ACOU]Physics [physics]/Mechanics [physics]/Acoustics [physics.class-ph], Wavelength, 0210 nano-technology, business
-
70
المؤلفون: Jacky Montmain, Christian Antoine, Nawal Addouche
المساهمون: Montmain, Jacky, Laboratoire de Génie Informatique et Ingénierie de Production (LGI2P), IMT - MINES ALES (IMT - MINES ALES), Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT)
المصدر: Proceedings Safecomp 2005, Computer safety, Reliability and Security
Safecomp 2005, Computer safety, Reliability and Security
Safecomp 2005, Computer safety, Reliability and Security, 2005, Fredrikstad, Norway
Lecture Notes in Computer Science ISBN: 9783540292005
SAFECOMP
HALمصطلحات موضوعية: Model checking, Computer science, Real-time computing, Applications of UML, 0102 computer and information sciences, 02 engineering and technology, computer.software_genre, 01 natural sciences, Unified Modeling Language, Formal specification, [INFO.INFO-AU]Computer Science [cs]/Automatic Control Engineering, 0202 electrical engineering, electronic engineering, information engineering, Dependability, Temporal logic, State diagram, computer.programming_language, UML tool, Probabilistic logic, Computer Science::Software Engineering, Formal methods, [INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation, 010201 computation theory & mathematics, 020201 artificial intelligence & image processing, Class diagram, [INFO.INFO-MO] Computer Science [cs]/Modeling and Simulation, computer, [INFO.INFO-AU] Computer Science [cs]/Automatic Control Engineering
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::1081a750e1fda25b2b3307cf41b48197
https://hal.science/hal-00354025