• 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
Criação de modelos de simulação de protocolos de comunicação

Criação de modelos de simulação de protocolos de comunicação

Paperback

General Computers

ISBN10: 6209964591
ISBN13: 9786209964596
Publisher: Edicoes Nosso Conhecimento
Published: Apr 18 2026
Pages: 52
Weight: 0.18
Height: 0.12 Width: 6.00 Depth: 9.00
Language: Portuguese
Tem havido muitos avanços no campo das técnicas facilitadas de verificação e validação baseadas em modelos. A maioria delas tem-se baseado na observação do comportamento externo do sistema. A nossa abordagem segue o mesmo princípio e é válida mesmo quando o código-fonte do sistema em análise não está disponível. Os mecanismos de inferência permitem-nos inferir esses modelos de máquina através da observação. Apresentamos uma estrutura que permite gerar componentes com estados infinitos/finitos e que se adapta a verificações formais. Os modelos utilizados são protocolos de comunicação inferidos por inferência regular, observados através do comportamento da entidade do protocolo de comunicação. Além disso, é apresentada uma abordagem em que o comportamento observado do protocolo valida o modelo concebido do protocolo.

Also from

Rahman, MD Tanzilur

Also in

General Computers