scientific article; zbMATH DE number 2089421

zbMATH Open1050.68873MaRDI QIDQ3046809FDOQ3046809

Authors: Pascal Rapicault, Jean-Paul Rigault, Luc Bourlier 

Publication date: 12 August 2004

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2370/23700257.htm

Title of this publication is not available (Why is that?)

Recommendations

• An Approach to Modelling and Verification of Component Based Systems
• Compositional Verification for Component-Based Systems and Application
• Verification of component-based system using model checking
• On the relationships between models in protocol verification

Mathematics Subject Classification ID

Computing methodologies and applications (68U99) Theory of software (68N99)

Cited In (3)

• Protocol conformance through refinement mappings in cadence SMV
• Modal Interface Theories for Communication-Safe Component Assemblies
• Documenting and verifying systems assembled from components

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3046809)