scientific article; zbMATH DE number 2080014

zbMATH Open1044.68115MaRDI QIDQ4472200FDOQ4472200

Authors: Françoise Bellegarde, Jacques Julliand, Olga Kouchnarenko 

Publication date: 3 August 2004

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

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

Recommendations

• The Composition of Event-B Models
• Chunks: Component Verification in CSP ∥ B
• scientific article; zbMATH DE number 1487745
• scientific article; zbMATH DE number 2013578
• A compositional specification theory for component behaviours

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Cited In (6)

• Title not available (Why is that?)
• Property-preserving parallel decomposition
• How to verify and exploit a refinement of component-based systems
• Chunks: Component Verification in CSP ∥ B
• The Composition of Event-B Models
• Composition of Use Cases Using Synchronization and Model Checking

Uses Software

• csp2B

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 Q4472200)