Ricerca avanzata

4 Risultati trovati

A formalization of the FIP protocol using Estelle

A formalization of the FIP protocol using Estelle

Camera di commercio industria artigianato e agricoltura

monografia | Testo

Aggiungi a "I tuoi preferiti"

Efficient execution of basic lotos

Efficient execution of basic lotos

Camera di commercio industria artigianato e agricoltura

monografia | Testo

Aggiungi a "I tuoi preferiti"

Derivation of executable code from formal protocol specifications written in Lotos

Derivation of executable code from formal protocol...

Camera di commercio industria artigianato e agricoltura

monografia | Testo

Aggiungi a "I tuoi preferiti"

Modeling the execution of Lotos specifications by cooperating extended finite state machines

Modeling the execution of Lotos specifications by...

Camera di commercio industria artigianato e agricoltura

monografia | Testo

Aggiungi a "I tuoi preferiti"