Back to Results
First PageMeta Content
Routing / Multihoming / IPv6 / Site Multihoming by IPv6 Intermediation / Internet Protocol / Peer-to-peer / Transmission Control Protocol / HTML / Universal quantification / Network architecture / Internet / Computing


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:06:49

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