Publication | Closed Access
Integration and verification of semantic constraints in adaptive process management systems
132
Citations
31
References
2007
Year
Adaptive SystemsConstraint SolvingProcess AutomationEngineeringAutomated ReasoningAutomationFormal MethodsProcess ControlSystems EngineeringProcess SpecificationComputer ScienceBusiness Process ModelingSemanticsSemantic ConstraintsFormal VerificationProcess ModellingSoftware Design
| Year | Citations | |
|---|---|---|
Page 1
Page 1