Towards modeling and testing of IP routing protocols

DOI10.1007/3-540-44830-6_5MaRDI QIDQ4437047zbMATH OpenFDO

Authors Zhongjie Li, Xia Yin, Jian-Ping Wu

Publication date 7 December 2003

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2644/26440049.htm

Mathematics Subject Classification ID

Network protocols (68M12) Distributed systems (68M14) Reliability, testing and fault tolerance of networks and computer systems (68M15) Computing methodologies and applications (68U99)

Recommendations

• scientific article; zbMATH DE number 1418455
• From active to passive -- progress in testing internet routing protocols
• scientific article; zbMATH DE number 1446758
• Modeling Routing Protocols in Adhoc Networks
• Formal Techniques for Networked and Distributed Systems - FORTE 2005

Cited in

(5)

• From active to passive -- progress in testing internet routing protocols
• Analyzing Internet Routing Security Using Model Checking
• scientific article; zbMATH DE number 1418455 (Why is no real title available?)
• scientific article; zbMATH DE number 1446758 (Why is no real title available?)
• Formal Techniques for Networked and Distributed Systems - FORTE 2005

This page was built for publication: Towards modeling and testing of IP routing protocols

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