841 articles – 1540 Notices  [english version]
.:. Consultation > Par équipe de recherche > LINA-COLOSS .:.
18 documents classés par :
1 - 2 Page Suivante Page Finale
Contract-based Verification of Kmelia Component Assemblies using Event-B
André P., Ardourel G., Attiogbe C., Lanoix A.
Dans Preproceesings of International Workshop on Formal Engineering approaches to Software Components and Architectures - FESCA @ Etaps2010, Grèce (2010) [hal-00483755 - version 1]
fulltext access Using Event-B to Verify the Kmelia Components and Their Assemblies
P. A., Ardourel G., Attiogbe C., Lanoix A.
Dans Second International Conference, ABZ 2010, Orford, QC, Canada, - ABZ'2010, Canada (2010) [hal-00483236 - version 1]
fulltext accessible on an other server Modelling and Analysing Dynamic Decentralised Systems
Attiogbé C.
Dans 15th IEEE Pacific Rim International Symposium on Dependable Computing - International Symposium on Dependable Computing (PRDC 2009), Chine (2009) [hal-00420009 - version 1]
Semantic Embedding of Petri Nets into Event-B
Attiogbe C.
Integration of Model-based Formal Methods Tools (IM_FMT @ IFM'2009), Allemagne (2009) [hal-00483237 - version 1]
fulltext access Can Component/Service-Based Systems Be Proved Correct?
Attiogbe C.
Dans SOFSEM 2009: Theory and Practice of Computer Science - Conference on Current Trends in Theory and Practice of Computer Science, Czech Republic, Tchèque, République (2009) [hal-00420051 - version 1]
fulltext access Event-Based Approach to Modeling Dynamic Architecture: Appliocation to Mobile Ad Hoc Network
Attiogbe J. C.
Dans Leveraging Applications of Formal Methods, Verification and Validation, Third International Symposium, ISoLA 2008 - ISoLA 2008, Grèce (2008) [hal-00420017 - version 1]
From Research to Teaching Formal Methods: The B Method (TFM-B'2008)
Attiogbe C., Habrias H.
(2008) 147 [hal-00483735 - version 1]
From Research to Teaching Formal Methods: The B Method - TFM-B'2009
Attiogbe C., Habrias H.
(2008) 134 [hal-00481604 - version 1]
fulltext access Mastering Specification Heterogeneity with Multifacet Analysis
Attiogbe C.
Modeling, Validation, and Heterogeneity (MoVaH @ ICST'08), Norvège (2008) [hal-00482872 - version 1]
L'Objet : Composants, services et aspects
Attiogbe C., Andre P.
(2008) 128 [hal-00482908 - version 1]