Résumé
ULg Research Unit in Networking RUN
Résumé


A Method for Applying LOTOS at an Early Design Stage and Its Application to the ISO Transport Protocol

G. Leduc1

1 Research unit in Networking, EECS department, University of Liège, Belgium

(1994)

Mots-clés

constraint-oriented style, formal specification, LOTOS, transport protocol

[ Home | People | Research Topics | Projects | Publications | IFIP WG 6.1 | Events and Conferences | CSS | How to Reach Us ]

Editor: - G. Leduc -
Webmaster: - C. Soldani -
Still running IPv4 at: 18.221.13.173... RUN | Montefiore | ULg
© 2000-2024.