Download for Windows Premium
Inschrijven Aanmelden met Google Aanmelden met Apple
Reverso Premium
Suggesties: model-checking
Publiciteit
et "model-checking

Examples with "et "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.
model-checking
model-checking model checking
Simulation et "model-checking" : développement d'une technique à base d'observateurs pour vérifier des propriétés pendant la simulation.
Simulation and model-checking: development of an observer technique to check properties during simulation.

Andere resultaten

De telles dépendances faibles seront étudiées au travers de jeux de model checking.
Such weak dependences will be studied in the framework of model-checking games.
Ces propriétés peuvent être évaluées en utilisant le probabilistic model checking.
Such properties can be evaluated by using probabilistic model checking.
Le modèle obtenu est ensuite analysé par model-checking.
The obtained model is then analysed by model-checking.
Ce phénomène constitue l'obstacle principal de la vérification automatique par model checking.
This phenomenon constitutes the principal obstacle of the automatic checking by model checking.
La vérification des propriétés de vivacité se fait à l'aide de model checking.
The verification of liveness properties can beachieved with model checking.
Le model-checking fournit un support pour découvrir les blocages et les violations de propriétés.
Model checking provides support to discover deadlocks and violations of constraints.
Deuxièmement, nous proposons de combiner cette méthode avec des techniques de model checking.
Secondly, we propose to combine this method with model-checking techniques.
Le model-checking fournit un support pour découvrir les blocages et les violations de propriétés.
Model checking provides support to discover deadlocks and properties violations.
Son groupe de recherche est alors pionnier dans l'usage du model checking pour la vérification du matériel.
His research group pioneered the use of model checking for hardware verification.
Les TGTA permettent d'améliorer les approches explicite et symbolique de model-checking.
TGTA improve the explicit and symbolic model checking approaches.
Pour commencer, nous présentons la vérification de deux protocoles de sécurité utilisant la technique du model checking.
First, we present the verification via model checking of two security protocols.
C'est ce que l'on appelle le problème du model-checking.
This is called the model-checking problem.
Er zijn geen resultaten gevonden voor deze term.

Synoniemen voor et "model-checking in het Frans

Publiciteit

Resultaten: 266. Exact: 1. Verstreken tijd: 116 ms.