Writing and verifying interoperability requirements: Application to collaborative processes von Daclin, N., Daclin, S. Mallek, Chapurlat, V., Vallespir, B.

Volltext

The application of interoperability requirement specification and verification to collaborative processes in industry von Mallek, S., Daclin, N., Chapurlat, V.

Volltext

Product Development Plan Monitoring: Towards a Business Process Digital Twin von Daclin, Sihem Mallek, Daclin, Nicolas, Rabah, Souad, Zacharewicz, Gregory

Volltext

Enabling model checking for collaborative process analysis: from BPMN to 'Network of Timed Automata' von Mallek, Sihem, Daclin, Nicolas, Chapurlat, Vincent, Vallespir, Bruno

Volltext

Maturity model-driven assessment of Field Hospitals von Mallek-Daclin, Sihem, Daclin, Nicolas, Dusserre, Gilles, Lhéritier, Bruno, Blanchard, Jean, Arnaud, Isabelle

Volltext

Formalisation and verification of interoperation requirements on collaborative processes von Mallek, Sihem, Daclin, Nicolas, Chapurlat, Vincent

Volltext