Contact
Cum să cumpăr
Livrare
Consilier de cumpărături
Vérification symbolique de modèles
franceză
198 b
30 de zile pentru retur bunuri
Clienții au cumpărat de asemenea
/
Carte broșată
61.41
lei
/
Carte broșată
96.86
lei
/
Copertă tare
163.92
lei
/
Copertă tare
92.69
lei
Cette thčse propose un nouveau type de systčmes de ré-écriture, appelé les systčmes de ré-écriture fonctionnels. Nous montrons que notre modčle a la puissance d'expression des systčmes de ré-écriture et qu'il est bien adapté ŕ l'étude de propriétés de sűreté et de propriétés de logique temporelle de modčles. Nous avons mis en évidence une sous classe de systčmes fonctionnels, les élémentaires et les élémentaires ŕ droite, préservant la puissance d'expression des systčmes fonctionnels et des techniques d'accélération des calculs aboutissant ŕ un outil de vérification symbolique efficace. Dans la partie expérimentale, nous avons comparé notre outil, d'une part avec des outils de ré-écriture tels que Timbuk, Maude et TOM, d'autre part avec des outils de vérification tels que SPIN, NuSMV, SMART, HSDD. Nos résultats démontrent l'efficacité des systčmes fonctionnels élémentaires pour la vérification de modčles.
Informații despre carte
franceză
Dăruiește această carte chiar astăzi
Este foarte ușor
1 Adaugă cartea în coș și selectează Livrează ca un cadou 2 Îți vom trimite un voucher în schimb 3 Cartea va ajunge direct la adresa destinataruluiAr putea de asemenea, să te intereseze
/
Carte broșată
141.81
lei
/
Carte broșată
80.39
lei
/
Carte broșată
42.74
lei
/
Copertă tare
164.33
lei
/
Copertă tare
551.83
lei
