Verification of the SAP reference models using EPC reduction, state-space analysis, and invariants - Concepedia

Concepedia

Publication | Closed Access

Verification of the SAP reference models using EPC reduction, state-space analysis, and invariants

85

Citations

14

References

2007

Year

Boudewijn F. van Dongen, M. H. Jansen-Vullers, H. M. W. Verbeek, Wil M. P. van der Aalst

Computers in Industry

Systems AnalysisEpc ReductionEngineeringData ScienceSap Reference ModelsState-space AnalysisModel TransformationProcess ControlSystems EngineeringSoftware EngineeringModeling And SimulationModel VerificationSystem IdentificationProcess ModellingModel AnalysisData Modeling

References

	Year	Citations

Page 1

Page 1