Publication | Closed Access

Analysis on demand: Instantaneous soundness checking of industrial business process models

EngineeringIndustrial EngineeringVerificationProcess MonitoringProcess ControlFormal MethodsSystems EngineeringBusinessInstantaneous Soundness CheckingProcess AnalysisComputer ScienceConformance CheckingIndustrial InformaticsProcess ModellingFormal VerificationProcess Measurement