Amanote Research
Register
Sign In
BProVe: Tool Support for Business Process Verification
doi 10.1109/ase.2017.8115708
Full Text
Open PDF
Abstract
Available in
full text
Date
October 1, 2017
Authors
Flavio Corradini
Fabrizio Fornari
Andrea Polini
Barbara Re
Francesco Tiezzi
Andrea Vandin
Publisher
IEEE
Related search
Overview of Verification Tools for Business Process Models
Process SEER: A Tool for Semantic Effect Annotation of Business Process Models
A Comparative Assessment of Collaborative Business Process Verification Approaches
IFIP Advances in Information and Communication Technology
Computer Networks
Information Systems
Management
Communications
A Decision Support Tool for Procurement Planning Process Under Uncertainty
IFAC Proceedings Volumes
A Combined Framework for Development of Business Process Support Systems
Lecture Notes in Business Information Processing
Control
Systems Engineering
Information Systems
Business
International Management
Simulation
Management
Management Information Systems
Modeling
Bpm: Overall Architecture and Business Process Design Tool
Support for Business Process Flexibility in Service Compositions: An Evaluative Survey
A Gaussian Process Based Decision Support Tool for Air Traffic Management
Verification of Invariant Properties of Business Process Based on Formal Approach
