Towards the verification of cyber-physical processes based on time and physical properties
Imen Graja and Slim Kallel, Nawal Guermouche, Ahmed Hadj Kacem
| Year of publication: |
2019
|
|---|---|
| Authors: | Graja, Imen ; Kallel, Slim ; Guermouche, Nawal ; Kacem, Ahmed Hadj |
| Published in: |
International journal of business and systems research. - Genève : Inderscience Enterprises, ISSN 1751-200X, ZDB-ID 2422801-1. - Vol. 13.2019, 1, p. 47-76
|
| Subject: | cyber-physical systems | CPS | time-related properties | physical properties | collaborative behaviour | constraint satisfaction problem | CSP | BPMN | compatibility of processes |
| Type of publication: | Article |
|---|---|
| Type of publication (narrower categories): | Aufsatz in Zeitschrift ; Article in journal |
| Language: | English |
| Other identifiers: | 10.1504/IJBSR.2019.096364 [DOI] |
| Source: | ECONIS - Online Catalogue of the ZBW |
Persistent link: https://www.econbiz.de/10011989810