Dr. Guido Wimmel - Bücher - alle Infos bei Yasni.de

(1 - 15 von 17

)

Computer Safety, Reliability, and Security: 22nd International...

books.google.de

Edinburgh, the Scottish capital, hosted SAFECOMP Since its establishment, SAFECOMP, the series of conferences on Computer Safety, Reliability and...

Computer Security -- ESORICS 2002: 7th European Symposium on Research...

books.google.de

212 Jan Jürjens and Guido Wimmel. Formally testing fail-safety of electronic purse protocols. In Automated Software Engineering. IEEE Computer Society,

Formal Aspects of Security: First International Conference, FASec...

books.google.de

This book constitutes the thoroughly refereed post-proceedings of the First International Conference on Formal Aspects of Security, FASec 2002, held in London,...

Formal Methods and Software Engineering: 4th International Conference...

books.google.de

This book constitutes the refereed proceedings of the 4th International Conference on Formal Engineering methods, ICFEM 2002, held in Shanghai, China, in...

Security Protocols: 9th International Workshop, Cambridge, UK, April...

books.google.com.cy

Jan Jürjens and Guido Wimmel. Security modelling for electronic commerce: The Common Electronic Purse Specifications. In First IFIP conference on e-commerce, e-business, and e-government (I3E). Kluwer, Jan Jürjens and Guido Wimmel. Specification-based testing of firewalls. In Andrei Ershov 4th International ...

Towards the E-Society: E-Commerce, E-Business, and E-Government -...

books.google.com.cy

I3E is the first in a series of conferences on e-commerce, e-business, and- government organised by the three IFIP committees TC6, TC8, and TC11. It...

Parallel Programs As Petri Nets - Bernd Grahlmann - Google Books

books.google.de

Wim97] Guido Wimmel. A BDD-based Model Checkerfor the PEP Tool. Technical report, UniversityofNewcastle upon Tyne, Index C!!,see B(PN)2 ,channel ...

Trusted Information: The New Decade Challenge - Google Books

books.google.com.cy

The New Decade Challenge Michel Dupuy, Pierre Paradinas. 32 EXTENDED DESCRIPTION TECHNIQUES FOR SECURITY ENGINEERING* Guido Wimmel and Alexander Wisspeintner Institutfür Informatik, Technische Universität München, D München, Germany ...

Secure Systems Development with UML - Jan Jürjens - Google Books

books.google.de

Attacks against computer systems can cause considerable economic or physical damage. High-quality development of security-critical systems is difficult, mainly...

Verlässliche IT-Systeme 2001: Sicherheit in komplexen...

books.google.com.cy

Das Programm der sechsten Fachtagung der Fachgruppe

Software Engineering Research and Applications: First International...

books.google.de

Haeng Kon Kim, “A Study on the next generation Internet/Intranet Networking System Development”, Technical Report, Monika Vetterling, Guido Wimmel ...

Perspectives of System Informatics: 4th International Andrei Ershov...

books.google.de

This book constitutes the thoroughly refereed post-proceedings of the 4th International Andrei Ershov Memorial Conference, PSI 2001, held in Akademgorodok,...

Verwandte Suchanfragen zu Dr. Guido Wimmel

Gerhard Popp
Martin Deubler
Elmar Witte

Michael Raab

Personen
Vorname "Guido" (15474)
Name "Wimmel" (71)

sortiert nach Relevanz / Datum

Erweiterte Suche

Person-Suchen: A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Bücher Dr. Guido Wimmel