Eine Plattform für die Wissenschaft: Bauingenieurwesen, Architektur und Urbanistik
Eine Plattform für die Wissenschaft: Bauingenieurwesen, Architektur und Urbanistik
Formal description oriented Performance Evaluation of protocols
Formal description oriented Performance Evaluation of protocols
Formal description oriented Performance Evaluation of protocols
Ecsedi Tóth, P. (Autor:in) / Tarnay, K. (Autor:in)
1987
22 S
Langzeitarchivierung durch Technische Informationsbibliothek (TIB) / Leibniz-Informationszentrum Technik und Naturwissenschaften und Universitätsbibliothek
Buch
Unbekannt
Building formal models of next-generation security protocols
| UB Braunschweig | 2007
Building formal models of next-generation security protocols
| TIBKAT | 2007
Modeling and performance evaluation of network protocols
| IEEE | 2006
CAD tool extension for formal building description language
| British Library Conference Proceedings | 1998
Formal Specification and Prototyping of a Building Description Language
| British Library Conference Proceedings | 1995