Author of the publication

Refinement-based Specification and Analysis of Multi-core ARINC 653 Using Event-B.

, , , , and . Formal Aspects Comput., 35 (4): 24:1-24:29 (December 2023)

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

Combinatorial online high-order interactive feature selection based on dynamic graph convolution network., , , , and . Signal Process., (November 2023)An improved quantum-behaved particle swarm optimization for multi-peak optimization problems., , , and . Int. J. Comput. Math., 88 (3): 517-532 (2011)Multilevel Thresholding for Image Segmentation Through an Improved Quantum-Behaved Particle Swarm Algorithm., , , and . IEEE Trans. Instrumentation and Measurement, 59 (4): 934-946 (2010)Pedestrian Recognition Based on SVM., and . IMECS, page 60-63. Newswood Limited, (2006)Tactical Network Integration Test Framework., , , , , , , and . MILCOM, page 2158-2163. IEEE, (2011)A ranging method for OFDMA uplink system., , , and . IEEE Trans. Consumer Electronics, 56 (3): 1223-1228 (2010)Regular Symmetry Patterns (Technical Report)., , , and . CoRR, (2015)Wavelet image coding based on directional dilation., , and . VCIP, volume 4671 of Proceedings of SPIE, page 1175-1184. SPIE, (2002)Information Inquiry Activity in Mobile Commerce- The Behavioral Implications of IRE Approach., and . AMCIS, page 335. Association for Information Systems, (2004)Robust Chinese Character Recognition by Selection of Binary-Based and Grayscale-Based Classifier., , , and . Document Analysis Systems, volume 3872 of Lecture Notes in Computer Science, page 553-563. Springer, (2006)