HOME
|
CONTACT
Group of Computer Architecture / AGRA
|
Computer Science
|
Faculty 03
|
University of Bremen
Navigation ein-/ausblenden
HOME
Group
Team
Alumni
PhD Thesis
Research
Areas
Projects
Cooperations
Honors
Studies
Master Thesis
Teaching Material
Student Projects
Publications
Books
Book contributions
Journals
Conferences
Workshops
Competences
Software
Hardware
Service
Contact
News
Jobs
Press
Media
« back
SANITAS
The project develops verification methods on a high level of abstraction.
Contact: Prof. Dr. Rolf Drechsler, Dr. Daniel Große
Detailed description is only avialable in German.
« back
Group
Team
Alumni
PhD Thesis
Research
Areas
Projects
Cooperations
Honors
Studies
Master Thesis
Teaching Material
Students Projects
Publications
Books
Book contributions
Journals
Conferences
Workshops
Competences
Software
Hardware
Service
Contact
News
Jobs
Press
Media
©2023 |
Group of Computer Architecture
|
Contact
|
Legal & Data Privacy
