Author of the publication

Component-based modelling for sustainable and scalable smart meter networks.

, , , , and . WoWMoM, page 1-6. IEEE Computer Society, (2014)

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

Research on Dynamic Change of Grassland in West Jilin Province Based on 3S Technology., and . CCTA, volume 258 of IFIP Advances in Information and Communication Technology, page 277-285. Springer, (2007)Developing a TTCN-3 Test Harness for Legacy Software., , , and . AST, page 104-110. ACM, (2006)A Graph-Based Implementation for Mechanized Refinement Calculus of OO Programs., , and . SBMF, volume 6527 of Lecture Notes in Computer Science, page 258-273. Springer, (2010)Out-of-Distribution Detection with Distance Guarantee in Deep Generative Models., , , , , , , and . CoRR, (2020)Verification of Linear Duration Invariants by Model Checking CTL Properties., , and . ICTAC, volume 5160 of Lecture Notes in Computer Science, page 395-409. Springer, (2008)Fusion of the complementary Discrete Cosine Features in the YIQ color space for face recognition., and . Comput. Vis. Image Underst., 111 (3): 249-262 (2008)A Peer-to-Peer System Super Node Election Mechanism., , , and . Int. J. Inf. Process. Manag., 1 (2): 58-67 (2010)Ensemble Engineering and Emergence., , , and . Software-Intensive Systems and New Computing Paradigms, volume 5380 of Lecture Notes in Computer Science, Springer, (2008)Formalizing Real-Time Scheduling as Program Refinement., and . ARTS, volume 1231 of Lecture Notes in Computer Science, page 295-309. Springer, (1997)A Practical Encrypted Microprocessor., , , and . SECRYPT, page 239-250. SciTePress, (2016)