• Open Daily: 10am - 10pm
    Alley-side Pickup: 10am - 7pm

    3038 Hennepin Ave Minneapolis, MN
    612-822-4611

Open Daily: 10am - 10pm | Alley-side Pickup: 10am - 7pm
3038 Hennepin Ave Minneapolis, MN
612-822-4611
Generazione di modelli di simulazione dei protocolli di comunicazione

Generazione di modelli di simulazione dei protocolli di comunicazione

Paperback

General Computers

ISBN10: 6209959474
ISBN13: 9786209959479
Publisher: Edizioni Sapienza
Published: Apr 18 2026
Pages: 52
Weight: 0.18
Height: 0.12 Width: 6.00 Depth: 9.00
Language: Italian
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.

Also from

Rahman, MD Tanzilur

Also in

General Computers