Language and Tool Support for Class and State Machine Refinement in UML-B von Said, Mar Yah, Butler, Michael, Snook, Colin

Volltext

A method of refinement in UML-B von Said, Mar Yah, Butler, Michael, Snook, Colin

Volltext

Keep All Objectives Satisfied (KAOS) to Event-B Models Transformation von Saharudin, Syahana Nur'Ain, Said, Mar Yah

Volltext

Development of SLA Monitoring Tools Based on Proposed DMI in Cloud Computing von Mohd Jamail, Nor Shahida, Atan, Rodziah, Abdullah, Rusli, Yah Said, Mar

Volltext

Game theory: trust model for common criteria certifications evaluations von Isa, Mohd Anuar Mat, Manan, Jamalul-lail Ab, Mahmod, Ramlan, Hashim, Habibah, Udzir, Nur Izura, Tanha, Ali Dehghan, Said, Mar Yah

Volltext

Application of Social Media Among Medical Practitioner for Sharing Tacit Knowledge: A Pilot Study von Amidi, Asra, Jusoh, Yusmadi Yah, Said, Mar Yah, Jabar, Marzanah A., Abdullah, Rusli Haji

Volltext

Finest authorizing member of common criteria certification von Isa, M. A. M., Ab Manan, Jamalul-Lail, Mahmod, R., Hashim, H., Said, M. Y., Udzir, N. I., Tanha, A. D.

Volltext bestellen