scientific article; zbMATH DE number 1693443

MaRDI QIDQ2763989zbMATH OpenFDO

Authors Manuel J. Fernández, F. J. González-Castaño, J. M. Pousada-Carballo, Martín Llamas-Nistal, Alberto Romero Feijoo

Publication date 22 January 2002

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2021/20210436

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65) Computing methodologies and applications (68U99)

Recommendations

• Specification and analysis of a composition of protocols
• Case studies in the specification and analysis of protocols in Maude

Cited in

(8)

• Protocol verification with the Aldébaran toolset
• Kannel - a language for tuning protocols
• scientific article; zbMATH DE number 1728520 (Why is no real title available?)
• The design of NTCIP C2F model system for ITS
• scientific article; zbMATH DE number 1088213 (Why is no real title available?)
• scientific article; zbMATH DE number 1958171 (Why is no real title available?)
• scientific article; zbMATH DE number 1977229 (Why is no real title available?)
• Formal Techniques for Networked and Distributed Systems - FORTE 2005

Describes a project that uses

Uses Software

• LOTOOL
• Topo

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2763989)