Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Shimpei Sasaki
Verification of Invariant Properties of Business Process Based on Formal Approach
Related publications
Formal Verification of System-Level Safety Properties on Railway Software
The MODUS Approach to Formal Verification
Business Systems Research
Information Systems
Finance
Economics
Management Information Systems
Innovation
Management of Technology
Econometrics
Ontology-Based Approach to Reuse of Business Process Knowledge
Informacijos Mokslai
Media Technology
Sociology
International Relations
Communication
Political Science
Innovation
Management of Technology
Overview of Verification Tools for Business Process Models
A Formal Approach for the Inclusion of Key Performance Indicators in a Business Process Modeling
International Journal of Computer Applications
Formal Analysis and Verification of Airborne Software Based on DO-333
Electronics (Switzerland)
Control
Electronic Engineering
Signal Processing
Computer Networks
Systems Engineering
Hardware
Communications
Electrical
Architecture
Formal Modeling of a Generic Middleware to Ensure Invariant Properties
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
BProVe: Tool Support for Business Process Verification
A Comparative Assessment of Collaborative Business Process Verification Approaches
IFIP Advances in Information and Communication Technology
Computer Networks
Information Systems
Management
Communications