Examples with "de techniques de model-checking" and their translation in Engels
We konden deze vermelding niet vinden. Er worden benaderende resultaten weergegeven. Controleer je spelling of stel voor deze term aan het woordenboek toe te voegen.
Résumé : Dans ce mémoire, nous présentons l'utilisation de techniques de model-checking pour l'inférence de paramètres de réseaux de régulation génétique (GRN) et l'analyse formelle d'une voie de signalisation.
Abstract: In this thesis, we present the use of model checking techniques for inference of parameters of Gene Regulatory Networks (GRNs) and formal analysis of a signalling pathway.
Andere resultaten
Par l'emploi de technique de model checking, nous avons établi des propriétés temporelles montrant que toute exécution d'une application mobile sur un périphérique mobile pouvait être déportée dans une Cloudlet sous condition d'une structure applicative.
Exploiting the model checking techniques, we have established temporal properties showing that any execution of a mobile application on a mobile device could be offloaded in a Cloudlet depending on a given software architecture.
Nous utilisons de même des techniques de model checking pour pré-calculer un ensemble minimal de points de synchronisation au niveau desquels plusieurs processus partagent leur connaissance au court de brèves périodes de coordination.
We use model checking techniques as well to precalculate a minimal set of synchronization points, where joint knowledge, i.e., knowledge common to several processes, can be achieved during short coordination phases.
Nous proposons une méthode basée sur des techniques d'extrapolation sur les automates, et nous étudions la puissance de cette approche.- Techniques de model-checking régulier pour la vérification des réseaux paramétrés avec des topologies linéaires et arborescentes.
We propose a method based on extrapolation techniques on automata, and we study the power of this approach.- Regular model-checking techniques for the verification of parametrized networks with linear and tree-like topologies.
Ce schéma repose sur la combinaison par abstraction de techniques déductives et de model checking, et cette combinaison permet de contourner les limites de chacune de ces techniques.
Abstract: This thesis provides an efficient formal scheme for the tool-supported real-time system verification by combination of abstraction-based deductive and model checking techniques in order to handle the limitations of the applied verification techniques.
Deuxièmement, nous proposons de combiner cette méthode avec des techniques de model checking.
Enfin, la plupart des modèles existants et des outils de simulation ne sont pas capables d'appliquer des techniques de model checking d'une manière transparente.
Finally, most of the existing modeling and simulation tools are not capable of applying model-checking techniques in a transparent way.
Enfin, la plupart des modèles existants et des outils de simulation ne sont pas capables d'appliquer des techniques de model checking d'une manière transparente.
Finally, most of the existing modeling and simulation tools are not capable of applying model-checking techniques in a transparent way.
De plus, nous proposons une méthode fondée sur la technique de model checking pour vérifier si le comportement des modèles utilisés dans notre processus de test respecte bien les politiques de sécurité.
In addition, we propose a model checking based method to check whether the behavior of a model respects some interoperability security policies.
Leur bon fonctionnement est vérifié formellement à travers une technique de model-checking supportée par la logique temporelle linéaire LTL.
Their correctness is formally verified through a model-checking technique supported by the linear temporal logic LTL.
Résumé : Ce mémoire propose des représentations formelles pour contrôleurs logiques industriels qui visent à améliorer le passage à l'échelle des techniques de model-checking.
Abstract: This dissertation proposes formal representations for programmable logic controllers that aim at improving the scalability of model-checking techniques.
Potentieel gevoelige of ongepaste informatie
Er worden alleen voorbeelden gegeven om u te helpen het woord of de woordcombinatie waarop u hebt gezocht, te vertalen. Deze worden niet door ons geselecteerd of gevalideerd en kunnen ongepaste taal bevatten. Wij vragen u melding te maken van voorbeelden die dienen te worden aangepast of verwijderd. Vertalingen met grof of informeel taalgebruik worden meestal rood of oranje gemarkeerd.
