Abstract | ||
---|---|---|
The wide range of requirements posed by protocol design is not accommodated by any single extant formal description technique. As a solution, the behavioural language LIPS is proposed, the use of which is illustrated in four typical design steps: specification, verification, simulation and performance evaluation. |
Year | DOI | Venue |
---|---|---|
1988 | 10.1016/0140-3664(88)90041-2 | Computer Communications |
Keywords | Field | DocType |
open systems interconnection,protocol design,formal description technique,language | Specification language,Software engineering,Simulation,Computer science,Computer network,Systems design,Formal description,Protocol design,Extant taxon | Journal |
Volume | Issue | ISSN |
11 | 6 | Computer Communications |
Citations | PageRank | References |
1 | 0.41 | 12 |
Authors | ||
4 |
Name | Order | Citations | PageRank |
---|---|---|---|
V. Carchiolo | 1 | 26 | 8.25 |
A. di Stefano | 2 | 80 | 14.25 |
A Faro | 3 | 93 | 18.46 |
G. Papplardo | 4 | 1 | 0.41 |