Formalized service specification and analysis model /

Formalized service specification and analysis model /

Saved in:

書目詳細資料
主要作者:	Woo, Mun Sum
格式:	Thesis 圖書
語言:	English
出版:	1999.
標簽:	添加標簽沒有標簽, 成為第一個標記此記錄!

相似書籍

Towards automated formal analysis of model transformation specifications /
由: Asmiza Abdul Sani
出版: (2013)

Collaborative model for preparing formal software specification document /
由: Sullabi, Mohamed Ahmed
出版: (2008)

Formal specification and validation for pattern scanning
由: Julaily Aida Jusoh

Formal Specification Language For Design Patterns.
由: Taibi, Taufik
出版: (2003)

Formalization of medical informatics UML and Z specifications
由: Rajoo, Mageswari

A Formal Specification Language For Design Patterns.
由: Taufik Taibi,
出版: (2003)

Framework For Merging Object-Oriented Formal Specifications
由: Taibi , Fathi
出版: (2010)

Formal Specification Language for Vehicular Ad-Hoc Networks
由: Maythem Kamal , Abbas, et al.
出版: (2009)

Designing CSP-OZ Transitivity Property Using Formal Specification
由: Suresh, Ramachandran
出版: (2019)

Simulation framework of NBTI degradation in nano-scale p-mosfets from the perspective of hydrogen and non-hydrogen transport formalism /
由: Hanim Hussin
出版: (2015)

Formal analysis of metamodel : an evaluation of an approach using ZOO templates to derive a Z model of part of EMOF /
由: Asmiza Abdul Sani
出版: (2007)

Usability of semi-formal and formal methods integration : empirical assessments /
由: Rozilawati Razali
出版: (2008)

The theory of formal concept analysis and its applications /
由: Zhao, Kai
出版: (1993)

Formal models and algorithms for DNA data analysis using Watson-Crick grammars /
由: Nurul Liyana binti Mohamad Zulkufli
出版: (2017)

Pengaruh pendidikan formal dan non-formal terhadap prestasi usahawan
由: Badrul Hisham Haji Alang Osman
出版: (1995)

Modelling of splicing systems using formal language theory
由: Fong, Wan Heng
出版: (2008)

Design and analysis of practically realizable coherent receivers /
由: Cheong, Tek Mun
出版: (2002)

A flexible quality of service model for mobile ad hoc networks /
由: Xiao, Hannan
出版: (2003)

Formal verification of RFID system using model verification agent
由: Lockman, Muhammad Tarmizi
出版: (2012)

A formal model for analyzing manager’s performance during stress
由: Gratim, Haned M.
出版: (2015)

Formality shifts in management meetings
由: Mohd Johari, Muhammad Danis
出版: (2016)

Formal language theory and DNA
由: Mohd. Ali, Nor Muhainiah
出版: (2004)

Penilaian teks penterjemahan formal /
由: Gana Ngadi
出版: (1984)

Pose determination, face synthesis and face recognition with 3D deformable face model /
由: Lee, Mun Wai
出版: (1999)

Analysis and simulation of fading channel models /
由: Xiong, Lu
出版: (2002)

Formal method for landmark saliency measurement based on social network analysis
由: Najafpour, Hamed
出版: (2012)

Topic shifts in formal verbal interactions /
由: Lean, Mei Li
出版: (1999)

Linking integrated formal method with UML /
由: Liu, Jing
出版: (2001)

Modeling and analysis of coplanar waveguide meander-line inductors /
由: Ho, Kevin Ming Jiang
出版: (2002)

Formal specification of a small-scale embedded hard real-time system : a case study of a controller of a four-legged wall-climbing robot
由: Mohamad, Radziah
出版: (2000)

Design of a personalized service agent for reservation-based multimedia services on a high-speed network /
由: Yew, Eu Min
出版: (2001)

Modelling of high voltage equipment bushings using finite element analysis /
由: Tunio, Mohsin Ali
出版: (2012)

Formalize Use Case to Resolve Ambiguous Scenario
由: Wong, Swee Yin
出版: (2017)

Software installation formal assessment routine (SIFAR) /
由: Galoh Rashidah Haron
出版: (2006)

Maklum balas dalam perbualan tak formal /
由: Azmi Abdullah
出版: (1993)

Thermodynamic properties of transverse field quantum ising model using tensor network formalism /
由: Pang, Sin Yang
出版: (2020)

Land administration and regulation model for improved formal delivery and accessibility of urban lands in Nigeria.
由: Bolayemi, Akinbola Kazeem
出版: (2017)

Time series analysis and improved deep learning model for electricity price forecasting /
由: Iqbal, Md Rashed
出版: (2022)

Modeling and performance analysis of an uplink scheduling algorithm for mobile WiMAX system /
由: Darmawaty Mohd Ali
出版: (2012)

Finite Element Analysis (FEA) modelling of various underground power cable arrangements /
由: Suraesh Balakrisan
出版: (2013)

Services hosted by the Perpustakaan Sultan Abdul Samad, Universiti Putra Malaysia with Cooperation MySyL Group