scientific article; zbMATH DE number 2086945

MaRDI QIDQ4737552zbMATH OpenFDO

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

zbMATH Keywords

model-checkingUMLB AMNReactive SystemsRSDS

Mathematics Subject Classification ID

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

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

Cited in

(2)

• Recent Trends in Algebraic Development Techniques
• scientific article; zbMATH DE number 1951540 (Why is no real title available?)

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)