Work

Formal Verification of Cloud Resource Allocation in Business Processes Using Event-B

Year: 2016

Type: conference-paper

Source: International Conference on Advanced Information Networking and Applications (AINA)

DOI: 10.1109/aina.2016.126

Authors: Souha Boubaker, Amel Mammar, Mohamed Graiet, Walid Gaaloul

Institutions: Centre National de la Recherche Scientifique, Télécom SudParis, Services répartis, Architectures, MOdélisation, Validation, Administration des Réseaux, University of Monastir, Institut Supérieur d'Informatique et de Mathématiques de Monastir

Language: English

Topic: Business Process Modeling and Analysis

Subfield: Management Information Systems

Field: Business, Management and Accounting

Domain: Social Sciences

Open Access status: closed

OpenAlex ID: W2402868937

FWCI: 3.162

Cites: 18

Cited by: 12

Related to: 10