Kapcsolat
Hogyan vásároljunk
Kézbesítés
Vásárlási tanácsadó
Vérification symbolique de modèles
Francia
205 b
Akár 30 napos visszaküldési lehetőség
A vásárlók ilyet vásároltak
/
Puha kötésű
4 308
Ft
/
Puha kötésű
6 774
Ft
/
Kemény kötésű
11 450
Ft
/
Kemény kötésű
10 696
Ft
/
Puha kötésű
2 908
Ft
/
Kemény kötésű
6 537
Ft
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.
Információ a könyvről
Francia
Ajándékozza oda ezt a könyvet még ma
Nagyon egyszerű
1 Tegye a kosárba könyvet, és válassza ki a kiszállítás ajándékként opciót 2 Rögtön küldjük Önnek az utalványt 3 A könyv megérkezik a megajándékozott címéreEzt is ajánljuk
/
Puha kötésű
5 620
Ft
/
Puha kötésű
9 915
Ft
/
Kemény kötésű
37 369
Ft
Szia! Libroamiko vagyok, a könyvtanácsadód.
Miben segíthetek?