scientific article; zbMATH DE number 2080068

MaRDI QIDQ4472262zbMATH OpenFDO

Authors Frédéric Lang

Publication date 4 August 2004

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

Mathematics Subject Classification ID

Theory of software (68N99)

Recommendations

• A comparative study of formal verification techniques for software architecture specifications
• Stepwise Development of Simulink Models Using the Refinement Calculus Framework
• Defining contracts with different tools in software development
• Mapping software: Are we nearing standardization?
• scientific article; zbMATH DE number 1104380

Cited in

(3)

• On the semantics of communicating hardware processes and their translation into LOTOS for the verification of asynchronous circuits with CADP
• Compositional verification of asynchronous concurrent systems using CADP
• Equivalence checking 40 years after: a review of bisimulation tools

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