Login / Signup

Formal Specification and Verification of Cloud Resource Allocation Using Timed Petri-Nets.

Saoussen CheikhrouhouNesrine ChabouhSlim KallelZakaria Maamar
Published in: MEDI Workshops (2018)
Keyphrases