Author of the publication

A Refinement Calculus for the Development of Real-Time Systems.

, , , , and . APSEC, page 61-. IEEE Computer Society, (1998)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Time series long-term forecasting model based on information granules and fuzzy clustering., , and . Eng. Appl. of AI, (2015)Integrated Algorithm for 3-D IC Through-Silicon Via Assignment., , , and . IEEE Trans. VLSI Syst., 22 (3): 655-666 (2014)Determination of temporal information granules to improve forecasting in fuzzy time series., , , and . Expert Syst. Appl., 41 (6): 3134-3142 (2014)Fuzzy extensions of bargaining sets and their existence in cooperative fuzzy games., and . Fuzzy Sets and Systems, 188 (1): 88-101 (2012)Performance analysis of cloud computing services considering resources sharing among virtual machines., , , , and . The Journal of Supercomputing, 69 (1): 357-374 (2014)A 2.4 GHz low power CMOS transceiver for LR-WPAN applications., , , , and . SCIENCE CHINA Information Sciences, 57 (8): 1-13 (2014)Feedback control of fractional nonlinear differential algebraic systems with Hamiltonian function method., , and . Applied Mathematics and Computation, 197 (2): 904-913 (2008)Gain Scheduled State Feedback Control for Discrete-Time-Varying Polytopic Systems Subject to Input Saturation., and . CSSP, 30 (6): 1165-1182 (2011)Fuzzy forecasting based on automatic clustering and axiomatic fuzzy set classification., and . Inf. Sci., (2015)Semantic description method for face features of larger Chinese ethnic groups based on improved WM method., , , , and . Neurocomputing, (2016)