Using formal methods towards improving cloud IaaS environments (Q107433956)
Jump to navigation
Jump to search
doctoral thesis of Saeed Al-Haj
Language | Label | Description | Also known as |
---|---|---|---|
English | Using formal methods towards improving cloud IaaS environments |
doctoral thesis of Saeed Al-Haj |
Statements
1 reference
1 reference
2016
1 reference
Using formal methods towards improving cloud IaaS environments (English)
1 reference
Saeed Al-Haj
1 reference
1 reference
118 page
1 reference