Formal specification of fragmentation and reassembly in IPv6
Başlık çevirisi mevcut değil.
- Tez No: 400116
- Danışmanlar: DR. JAMES F. LEATHRUM, JR.
- Tez Türü: Yüksek Lisans
- Konular: Elektrik ve Elektronik Mühendisliği, Electrical and Electronics Engineering
- Anahtar Kelimeler: Belirtilmemiş.
- Yıl: 1997
- Dil: İngilizce
- Üniversite: Old Domınıon Unıversıty
- Enstitü: Yurtdışı Enstitü
- Ana Bilim Dalı: Belirtilmemiş.
- Bilim Dalı: Belirtilmemiş.
- Sayfa Sayısı: Belirtilmemiş.
Özet
Özet yok.
Özet (Çeviri)
Development and implementation of a networking standard such as the newInternet Protocol (IPv6) is a very dicult process. Dierent implementations ofthe standard must be fully compatible to allow dierent computers to communicatewith each other. However, standards are often ambiguous, frequently a result ofproviding specications in the English language. A more formal specication couldassist in the design of systems. This thesis demonstrates that capability using thePrototype Verication System (PVS).In this thesis study, a formal specication for fragmentation and reassembly inIPv6 was created to provide a tool for the standardization of IPv6 using PVS. Theuser of the specication can employ it in verifying the design of his implementation.The user can pass his function implementations to the specication as parameters.The specication requires the user to provide certain properties of his functions.
Benzer Tezler
- Sorgulama optimizasyonunda SQL kullanımı ve bir uygulama
Using SQL in qvery optimization and an example
SEMRA ÇATALBAŞ
- Windows sistemler için ağ dosya sistemi müşteri programı
Network file systems client program for windows systems
İLTER İNANÇ
Yüksek Lisans
Türkçe
1997
Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve Kontrolİstanbul Teknik ÜniversitesiKontrol ve Bilgisayar Mühendisliği Ana Bilim Dalı
PROF. DR. EMRE HARMANCI
- Specification and formal verification of fuzzy information processing for the case of edge detection
Kenar algılama durumu icin bulanık bilgi işlemenin belirlenmesi ve resmi olarak doğrulanması
KEMAL KESKİN
Yüksek Lisans
İngilizce
2009
Elektrik ve Elektronik MühendisliğiNortheastern UnıversıtyElektrik ve Bilgisayar Mühendisliği Ana Bilim Dalı
PROF. DR. MİECZYSLAW MİTCH KOKAR
- Design and implementation of the front-end for SDL'92 compiler
SDL'92 derleyicisi ön-yüzünün tasarımı ve geliştirilmesi
AHMET UYGAR DOYURAN
Yüksek Lisans
İngilizce
1996
Elektrik ve Elektronik MühendisliğiOrta Doğu Teknik ÜniversitesiElektrik-Elektronik Mühendisliği Ana Bilim Dalı
- Implementation of a subscriber identity modüle manager by using the specification language SDL
Bir abone kimlik birimi yöneticisinin betimleme dili SDL kullanılarak gerçekleştirilmesi
CENK TUĞÇETİN
Yüksek Lisans
İngilizce
1995
Elektrik ve Elektronik MühendisliğiOrta Doğu Teknik ÜniversitesiPROF.DR. KEMAL İNAN