| Beginn: | 03.03.2005, 19:30Uhr |
| Ende: | 04.03.2005, 16:30Uhr |
| Ort: | Carl von Ossietzky Universität, Oldenburg |
| Die beiden Forschungsprojekte AVACS und VERISOFT stellen am 4. März Ergebnisse zur Verifikation von eingebetten Systemen vor.
Dabei werden im Rahmen von AVACS neue Algorithmen zur Verifikation von Systemen vorgestellt. Das Projekt VERISOFT zeigt, wie man der Vision, automatisch verifizierter Software-Komponenten mit state-of-the-art Werkzeugen ein gutes Stück näher kommen kann. Anmeldungen werden bis zum 31.01.2005 entgegengenommen. Weitere Informationen erhalten Sie im beiligenden PDF-File, sowie unter http://www.avacs.org/gvd |
Automatisierungstechnik
