Applicative Modelling with RAISE

DOI10.1007/978-3-540-74964-6_2MaRDI QIDQ3525018zbMATH OpenOpenAlexFDO

Authors Chris George

Publication date 16 September 2008

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-74964-6_2

Mathematics Subject Classification ID

Theory of software (68N99)

Recommendations

• scientific article; zbMATH DE number 795688
• scientific article; zbMATH DE number 1566490
• scientific article; zbMATH DE number 2172805
• The NDB database specified in the RAISE specification language
• Model checking RAISE applicative specifications

Cited in

(4)

• Algebraic Methodology and Software Technology
• scientific article; zbMATH DE number 795688 (Why is no real title available?)
• scientific article; zbMATH DE number 2172805 (Why is no real title available?)
• Model checking RAISE applicative specifications

This page was built for publication: Applicative Modelling with RAISE

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3525018)