A Nitpick analysis of Mobile IPv6

DOI10.1007/S001659970001zbMATH Open0969.68576OpenAlexW1988419313MaRDI QIDQ5938661

Daniel Jackson, Yu-Chung Ng, Jeannette M. Wing

Publication date: 1 October 2001

Published in: Formal Aspects of Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s001659970001

zbMATH Keywords

model checkingdeclarative specificationmobile internetworking protocolsNitpickZ

Mathematics Subject Classification ID

Network design and communication in computer systems (68M10) Computing methodologies and applications (68U99) Computing methodologies for information systems (hypertext navigation, interfaces, decision support, etc.) (68U35) Specification and verification (program logics, model checking, etc.) (68Q60)

Uses Software

• Title not available (Why is that?)

This page was built for publication: A Nitpick analysis of Mobile IPv6

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