Gesproken tekst vertalen, offlinefuncties, synoniemen, vervoegingen, educatieve spelletjes
Publiciteit
Registreer gratis: toegang tot meer resultaten en functies
and model-checking
Vertaling van "and model-checking" in Frans
et le model-checking
et model-checking
The behavioural models we build are precise enough to allow veri fication by finite instantiation and model-checking, but also to use veri fication techniques for infi nite systems.
Les modèles de comportement que nous construisons sont suffisamment précis pour permettre la vérification par instanciation finie et model-checking, mais aussi pour
The team has competences in infinite-state verification, verification/synthesis of timed and hybrids systems, temporal logics, games and model-checking, quantitative model-checking, program verification.
L'équipe a des compétences dans les domaines de la vérification de systèmes infinis, systèmes temporisés et hybrides, logiques temporelles, jeux et model-checking, model-checking quantitatif, vérification de programmes.
Simulation and model-checking: development of an observer technique to check properties during simulation.
Simulation et "model-checking" : développement d'une technique à base d'observateurs pour vérifier des propriétés pendant la simulation.
In the literature, several studies were based on simulation and model-checking to analyze self-organizing MAS.
Dans la littérature, plusieurs travaux se sont basés sur la simulation et le model-checking pour étudier les SMA auto-organisateurs.
In the literature, several works were based on simulation and model-checking to study self-organizing MAS.
Dans la littérature, plusieurs travaux se sont basés sur la simulation et le model-checking pour analyser les SMA auto-organisateurs.
Synoniemen voor and model-checking in het Engels
Woord & uitdrukking van de dag
Afbeelding van de dag
Suggesties
Resultaten: 5. Exact: 5. Verstreken tijd: 59 ms.
