Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Fabrizio Fornari
BProVe: Tool Support for Business Process Verification
Related publications
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
