|
Gesellschaft für Informatik e.V.Fachgruppe FoMSESS |
||
- Formale Methoden und Software Engineering für Sichere Systeme
|
|||
Herzlich willkommen bei der Fachgruppe FoMSESS. Die Fachgruppe beschäftigt sich
mit der Anwendung von Formalen Methoden und Software Engineering auf die Entwicklung sicherer Systeme. Die Fachgruppe ist eine Untergliederung der
Gesellschaft
für Informatik e.V. und organisatorisch im
Fachbereich Sicherheit angeordnet.
Veranstaltungen
Ab sofort besteht die Möglichkeit einer kostenlosen assoziierten Mitgliedschaft
|
|||
| nach oben |
Verantwortlich für diese Webseite ist die GI-Fachgruppe FoMSESS.
|