University of Freiburg
|
Faculty of Applied Sciences
|
Institute for Computer Science
|
Computer Networks and Telematics
The
tele
Research Group
Home
Teaching
Research
Tools
Openings
Publications
DFG Projekt
Directed Model Checking
VIP
Visual Modeling and Formal Validation
Formal Modeling and Validation of Distributed, Object-Oriented Systems
Message Sequence Charts and Message Flow Graphs
Efficient, Parallel Protocol Implementation
SDL, Real-Time and Quality of Service
Sie werden in wenigen Augenblicken zur aktuellen Seite weitergeleitet.