共 13 条
[1]
CTL Model Checking in the Cloud Using MapReduce
[J].
16TH INTERNATIONAL SYMPOSIUM ON SYMBOLIC AND NUMERIC ALGORITHMS FOR SCIENTIFIC COMPUTING (SYNASC 2014),
2014,
:333-340
[2]
On Decomposing Formal Verification of CTL-based Properties on IaaS Cloud Environment
[J].
ICSOFT: PROCEEDINGS OF THE 15TH INTERNATIONAL CONFERENCE ON SOFTWARE TECHNOLOGIES,
2020,
:544-551
[3]
On the Improvement of R-TNCESs Verification using Distributed Cloud-based Architecture
[J].
ICSOFT: PROCEEDINGS OF THE 15TH INTERNATIONAL CONFERENCE ON SOFTWARE TECHNOLOGIES,
2020,
:339-349
[4]
On Methodology for the Verification of Reconfigurable Timed Net Condition/Event Systems
[J].
IEEE TRANSACTIONS ON SYSTEMS MAN CYBERNETICS-SYSTEMS,
2020, 50 (10)
:3577-3591
[5]
Khalgui M, 2011, ICSOFT 2011: PROCEEDINGS OF THE 6TH INTERNATIONAL CONFERENCE ON SOFTWARE AND DATABASE TECHNOLOGIES, VOL 2, P105
[7]
Koubâa A, 2017, IEEE INT CONF AUTON, P329, DOI 10.1109/ICARSC.2017.7964096
[8]
Ramdani M., 2018, P 13 INT C SOFTW TEC, P625
[9]
Soualah S., 2021, P 35 ANN EUR SIM MOD
[10]
Soualah S, 2020, 34TH ANNUAL EUROPEAN SIMULATION AND MODELLING CONFERENCE 2020, ESM 2020, P139