Preuves par récurrence avec ensembles couvrants contextuels: Applications à la vérification de logiciels de télécommunications (Omn.Univ.Europ.)

Dieses Buch beleuchtet rekursive Beweismethoden unter Einsatz kontextabhängiger Deckungs­mengen, erklärt deren Anwendung in der formalen Prüfung von Telekommunikationssoftware und zeigt praxisnahe Modellierungstechniken für komplexe Protokolle auf.

Teilen: