GI e.V.

Gesellschaft für Informatik e.V.

Fachgruppe FoMSESS
 

- Formale Methoden und Software Engineering für Sichere Systeme
Formal Methods and Software Engineering for Safety and Security -

FB Sicherheit FG FoMSESS Über uns ... About us ... Mailingliste Veranstaltungen Ressourcen, Links Mitglied werden Leitungsgremium Formalia  
 
Impressum

Die aktuelle Webseite der FG FoMSESS gibt es hier.

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.
Ab sofort besteht die Möglichkeit einer kostenlosen assoziierten Mitgliedschaft
ohne der Verpflichtung einer Mitgliedschaft in der GI

Kooperationen

Wir pflegen informellen Kooperationen mit den folgenden Gruppierungen mit ähnlichen Zielen.
nach oben

Verantwortlich für diese Webseite ist die GI-Fachgruppe FoMSESS.
Wir sind nicht verantwortlich für die Inhalte externer Internetseiten.
Copyright © 2002 Fachgruppe FoMSESS der GI e.V. - Alle Rechte vorbehalten.
Jan Jürjens mailadress Juerjens