Item request has been placed!

Item request cannot be made.

Processing Request

نتائج البحث

Display Settings

النتائج لكل صفحة: 10

Sort By: Relevance

فلترة النتائج

Subject : [spi.auto]engineering sciences [physics]/automatic

إعادة تعيين خيارات الفبترة

Item request has been placed!

Item request cannot be made.

Processing Request

Conference

Analyse prévisionnelle des fautes des systèmes embarqués discrets par vérification model-based

Authors : Perin, Matthieu; Faure, Jean-Marc;

Subjects: Propagation de fautes; Preuve de propriétés; Analyse de tracesBucarest; Romania

Source: Actes de la Conférence Internationale Francophone d'Automatique ; Conférence Internationale Francophone d'Automatique (CIFA) 2008 ; https://hal.science/hal-00359050 ; Conférence Internationale

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي

Design methodology for complex digital systems : from formalism to implementation through formal analysis, preservation of the compliance. Practical application to neuroprosthetics

Authors : Leroux, Hélène;

Subjects: [SPI.AUTO] Engineering Sciences [physics]/Automatic; Formal analysis; Exception

Source: Automatique / Robotique. Université Montpellier II-Sciences et Techniques du Languedoc, 2014. Français. ⟨NNT : 2014MON20163⟩

تفاصيل العنوان

اقرأ على الانترنت اقرأ أكثر حفظ في قائمتي

Dissertation/ Thesis

Functional validation of logic controllers : contribution to conformance test and closed-loop analysis ; Validation fonctionnelle de contrôleurs logiques : contribution au test de conformité et à l'analyse en boucle fermée

Authors : Guignard, Anaïs;

Subjects: Functional validation; Programmable Logic Controller; Mealy machine

Source: https://theses.hal.science/tel-01149705 ; Automatique / Robotique. École normale supérieure de Cachan - ENS Cachan, 2014. Français. ⟨NNT : 2014DENS0050⟩.

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي

Évaluation des bornes des performances temporelles des Architectures d'Automatisation en Réseau par preuves itératives de propriétés logiques

Authors : Ruel, Silvain;

Subjects: [SPI.AUTO] Engineering Sciences [physics]/Automatic; model-checking temporisé; abstraction

Source: Automatique / Robotique. École normale supérieure de Cachan-ENS Cachan, 2009. Français

تفاصيل العنوان

اقرأ على الانترنت اقرأ أكثر حفظ في قائمتي

Dissertation/ Thesis

Contribution à la conception d'applications de pilotage des systèmes manufacturiers

Authors : Rohée, Benoit;

Subjects: Discrete Event System; modeling; manufacturing system

Source: https://theses.hal.science/tel-00410093 ; Automatique / Robotique. Université de Reims - Champagne Ardenne, 2008. Français. ⟨NNT : ⟩.

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي