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 ...