Testfallgenerierung mittels COMPLeTe für die formale Analyse von Design und Implementierung robuster Kommunikationsprotokolle (bibtex)
by
Reference:
U. Sivapatham, "Testfallgenerierung mittels COMPLeTe für die formale Analyse von Design und Implementierung robuster Kommunikationsprotokolle", Masterarbeit, TU Dortmund, Dezember 2015. Gutachter: Christian Wietfeld, Mitbetreuer: Sven Gröning.
Bibtex Entry:
@MastersThesis{Sivapatham2015testfallgenerierung,
	Author = {Uthenthira Sivapatham},
	Title = {Testfallgenerierung mittels COMPLeTe für die formale Analyse von Design und Implementierung robuster Kommunikationsprotokolle},
	School = {TU Dortmund},
	Year = {2015},
	Supervisor = {Christian Wietfeld},
	Advisor = {Sven Gröning},
	Type = {Masters Thesis},
	Month = {dec}
}
Powered by bibtexbrowser