Verification and Validation of Formal Data-Centric Business Models

DOI10.7561/SACS.2015.2.317zbMath1424.68044WikidataQ125826355 ScholiaQ125826355MaRDI QIDQ4621198

Timur Umarov

Publication date: 8 February 2019

Published in: Scientific Annals of Computer Science (Search for Journal in Brave)

zbMATH Keywords

verificationformal specificationsvalidationEvent-Bbusiness processRodin platform

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

This page was built for publication: Verification and Validation of Formal Data-Centric Business Models