Notice de collectivité
- Notice
Équipe Composants et logiciels sûrs (Nantes) forme internationale
Pays :
France
Type de la collectivité officielle :
établissement public ou organisation publique à caractère non territorial
Langue(s) :
français
Responsabilité(s) exercée(s) sur les documents :
Auteur
Forme(s) rejetée(s) :
< COLOSS
< Laboratoire d'informatique de Nantes-Atlantique. Équipe Composants et logiciels sûrs
< COLOSS
< Laboratoire d'informatique de Nantes-Atlantique. Équipe Composants et logiciels sûrs
Source(s) :
The B method : from research to teaching, 2008
Laboratoire d'informatique de Nantes-Atlantique : http://www.lina.univ-nantes.fr/-COLOSS-.html (2008-12-09)
The B method : from research to teaching, 2008
Laboratoire d'informatique de Nantes-Atlantique : http://www.lina.univ-nantes.fr/-COLOSS-.html (2008-12-09)
Identifiant de la notice : ark:/12148/cb15871429r
Notice n° :
FRBNF15871429
Création :
08/12/09
Mise à jour :
08/12/18