scientific article; zbMATH DE number 1390340

MaRDI QIDQ4934629zbMATH OpenFDO

Authors Pamela Zave

Publication date 9 April 2000

zbMATH Keywords

distributed feature compositionPromela

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Computing methodologies and applications (68U99)

Recommendations

• scientific article; zbMATH DE number 2043467
• scientific article; zbMATH DE number 1630110
• scientific article; zbMATH DE number 1949555
• Service-oriented systems engineering: modeling services and layered architectures
• scientific article; zbMATH DE number 2100576

Cited in

(6)

• scientific article; zbMATH DE number 1949555 (Why is no real title available?)
• scientific article; zbMATH DE number 1951205 (Why is no real title available?)
• scientific article; zbMATH DE number 2043467 (Why is no real title available?)
• scientific article; zbMATH DE number 2100575 (Why is no real title available?)
• scientific article; zbMATH DE number 2100585 (Why is no real title available?)
• scientific article; zbMATH DE number 2100586 (Why is no real title available?)

Describes a project that uses

Uses Software

• SuZan

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