Generazione di modelli di simulazione dei protocolli di comunicazione Imparare dai nostri dati
-
- Italienisch ausgewählt
Fr. 48.90
inkl. gesetzl. MwSt.,
Beschreibung
Produktdetails
Einband
Taschenbuch
Erscheinungsdatum
18.04.2026
Verlag
Edizioni SapienzaSeitenzahl
52
Maße (L/B/H)
22/15/0.4 cm
Gewicht
96 g
Sprache
Italienisch
ISBN
978-620-9-95947-9
Si sono registrati numerosi sviluppi nel campo delle tecniche di verifica e convalida basate su modelli facilitati. La maggior parte di esse si è basata sull'osservazione del comportamento esterno del sistema. Il nostro approccio segue la stessa linea ed è valido anche quando il codice sorgente del sistema oggetto di osservazione non è disponibile; i meccanismi di inferenza ci consentono di dedurre tali modelli di macchina attraverso l'osservazione. Presentiamo un framework che si adatta alla generazione di componenti con stati infiniti/finiti e si adatta alle verifiche formali. I modelli utilizzati sono protocolli di comunicazione dedotti tramite inferenza regolare osservata attraverso il comportamento dell'entità del protocollo di comunicazione. Inoltre, viene presentato un approccio in cui il comportamento osservato del protocollo convalida il modello progettato del protocollo.
Noch keine Bewertungen vorhanden
Verfassen Sie die erste Bewertung zu diesem Artikel
Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.