Accueil
Consultation
Par sous-collection (équipes du LINA)
Par équipe de recherche
Liste par année
Liste par type de document
Liste par auteur du laboratoire
Liste des articles
Liste par domaine
Derniers dépôts
Rechercher
Services
Créer une page web
Export d'une liste de publications
Site du LINA
836 articles – 1515 Notices
[english version]
.:.
Consultation
>
Liste par auteur du laboratoire
> Fernandes .:.
2 documents classés par :
Date
Titre
Nom du premier auteur
Type de documents
Date de dépôt
Event Strictness for Components with Complex Bindings
Fernandes F., Royer J.-C., Passama R.
In
ISEC'09: Proceedings of the 2nd conference on India Software Engineering Conference
-
ISEC
, India (2009) [hal-00418556 - version 1]
The STSLib Project: Towards a Formal Component Model Based on STS
Fernandes F., Royer J.-C.
Electronic Notes in Theoretical Computer Science
, 215 (2008) 131-149 [hal-00416461 - version 1]