Structured analysis—formal design, using stream and object oriented formal specifications
Conference proceedings on Formal methods in software development
Trusted computing systems: the ProCoS experience
ICSE '92 Proceedings of the 14th international conference on Software engineering
Intégration d'un modèle de tâche dans une démarche sûre de construction d'interface
IHM '02 Proceedings of the 14th French-speaking conference on Human-computer interaction (Conférence Francophone sur l'Interaction Homme-Machine)
Hi-index | 0.00 |