Accelerate operational efficiency in your virtualized data center
A Formal Specification and Verification of TINA Architecture Service with The Accounting Management Module Abderrahim Sekkaki 1,2, Carlos Becker Westphall.
English 04
English ( MPK-4009 )
