scientific article; zbMATH DE number 2086945

zbMATH Open1057.68630MaRDI QIDQ4737552FDOQ4737552

Authors: David Clark, Kelly Androutsopoulos, K. Lano 

Publication date: 11 August 2004

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

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

Recommendations

• On hierarchically developing reactive systems
• scientific article; zbMATH DE number 3930354
• scientific article; zbMATH DE number 1708017
• Diagram refinements for the design of reactive systems
• scientific article; zbMATH DE number 1487745

zbMATH Keywords

model-checkingUMLB AMNReactive SystemsRSDS

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Cited In (2)

• Recent Trends in Algebraic Development Techniques
• Title not available (Why is that?)

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