Une proposition de formalisme orienté composant: Application de méthodes d’exécution symbolique pour la validation de systèmes à base de composants (Omn.Univ.Europ.)

Dieses Buch führt in einen neuen, komponentenbasierten Formalismus ein und demonstriert, wie symbolische Ausführung zur effizienten Validierung komp ...
Gesponsert
79.00 EUR
Preis aktualisiert am: 26-04-2026 21:25:44

Allgemein

Marke
Céline Bigot
ISBN
Céline Bigot 3838180534

Eigenschaften

Menü