Toggle navigation
PDFSEARCH.IO
Document Search Engine - browse more than 18 million documents
Sign up
Sign in
Back to Results
First Page
Meta Content
View Document Preview and Link
FORMALIZING SHIM6 AN IETF PROPOSED INTERNET STANDARD IN UPPAAL Matthijs Mekking1,2, Wouter Wijngaards1, Frits Vaandrager2, Theo Schouten2 1 Foundation NLnet Labs 2 Institute for Computing and Information Sciences, Radbou
Add to Reading List
Document Date: 2009-06-27 06:07:09
Open Document
File Size: 96,55 KB
Share Result on Facebook
Company
IETF /
Theo Schouten2 1 Foundation NLnet Labs /
/
/
Event
M&A /
/
IndustryTerm
INTERNET STANDARD IN UPPAAL Matthijs /
real-time systems /
/
Organization
Institute for Computing and Information Sciences /
/
Technology
ipv6 /
IPv4 /
/
URL
http /
SocialTag
Routing
Multihoming
IPv6
Site Multihoming by IPv6 Intermediation
Internet Protocol
Peer-to-peer
Transmission Control Protocol
HTML
Universal quantification
Network architecture