#verification
Documents
Développement et réalisation d'un simulateur de machines à états abstraits temps-réel et model-checking de formules d'une logique des prédicats temporisée du premier ordre, Development and implementation of a simulator for abstract state machines with real time and model-checking of properties in a language of first order predicate logic with time
Documents
Savoirs
Développement et réalisation d'un simulateur de machines à états abstraits temps-réel et model-checking de formules d'une logique des prédicats temporisée du premier ordre, Development and implementation of a simulator for abstract state machines with real time and model-checking of properties in a language of first order predicate logic with time
97 pages
Россию
Documents
Analyse et optimisation d'un processus à partir d'un modèle BPMN dans une démarche globale de conception et de développement d'un processus métier : application à la dématérialisation de flux courrier du projet GOCD (PICOM), Integrating a business process analysis and optimization step using BPMN model in a general process design and development approach : application to a paperless mail flow process
Documents
Savoirs
Analyse et optimisation d'un processus à partir d'un modèle BPMN dans une démarche globale de conception et de développement d'un processus métier : application à la dématérialisation de flux courrier du projet GOCD (PICOM), Integrating a business process analysis and optimization step using BPMN model in a general process design and development approach : application to a paperless mail flow process
129 pages
English
Documents
Une méthode inverse pour la synthèse de paramètres temporels dans les systèmes concurrents, An inverse method for the synthesis of timing parameters in concurrent systems
Documents
Contrôle des calculs en dynamique : bornes strictes et pertinentes sur une quantité d'intérêt, Model verification in transient dynamics : efficient and strict bounds on a quantity of interest
Documents
Spécification formelle de systèmes temps réel répartis par une approche flots de données à contraintes temporelles, Formal specification of distributed real time systems using an approach based on temporally constrained data flows
Documents
Development and Analysis of Integrated Circuit Topology Element Recognition System ; Integrinių grandynų topologijos elementų atpažinimo sistemos sukūrimas ir tyrimas
Documents
CUANDO 7+3=4 PARECE CORRECTO: RESOLUCIÓN AUTOMÁTICA DE LAS RESTAS EN UNA TAREA DE VERIFICACIÓN (When 7+3=4 looks like correct: automatic solving of subtractions in a verification task)
Collection
{{collectionTitle}}
Collection
{{collectionTitle}}
Collection
{{collectionTitle}}
{{productCategoryLabel}}
{{productTitle}}
{{productCategoryLabel}}
{{productThemeLabel}}
{{productTitle}}
{{productPages}}
{{productLanguageIsoCode}}
