|
|||||
|
|
Specification and Verification of the Tree Identify Protocol of IEEE 1394 in Rewriting Logic |
|
| Authors: | Alberto Verdejo Isabel Pita Narciso Martí-Oliet |
| Affiliation: | (1) Dpto. de Sistemas Informáticos y Programación, Universidad Complutense de Madrid, Spain, ES |
| Abstract: | |
| Keywords: | : IEEE 1394 Maude Object-oriented specifications Rewriting logic Tree identify protocol |
| 本文献已被 SpringerLink 等数据库收录！ | |