Author of the publication

Combining Design by Contract and Inference Rules of Programming Logic towards Software Reliability.

, , and . ICETE (2), page 530-537. SciTePress, (2018)

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

Modeling of real-time signal timing for multi-intersection in urban traffic network., , , and . ICDIM, page 128-133. IEEE, (2009)Modeling of real-time signal timing for multi-intersection in urban traffic network., , , and . ICDIM, page 128-133. IEEE, (2009)FOZCIL: A framework for converting formal specifications in Object-Z to design contracts in OO programming languages., , and . IRI, page 218-221. IEEE Systems, Man, and Cybernetics Society, (2011)Bit-plane image coding algorithms based on compressed sensing., , , , and . ICDIP, volume 8334 of SPIE Proceedings, page 833416. SPIE, (2012)A Hierarchical Method for Reasoning about Distributed Programming Languages., , , , and . TPHOLs, volume 971 of Lecture Notes in Computer Science, page 385-400. Springer, (1995)Mobility-Aware Cooperative Caching in Vehicular Edge Computing Based on Asynchronous Federated and Deep Reinforcement Learning., , , , , and . CoRR, (2022)3G Technology in the engineering disciplines of higher vocational education., , and . EMEIT, page 2148-2151. IEEE, (2011)Enhancing Secure Coding Assistant System with Design by Contract and Programming Logic., , and . NCS, volume 310 of Lecture Notes in Networks and Systems, page 124-140. Springer, (2021)Improving performance of intrusion detection system by applying a new machine learning strategy., , , and . CSTST, page 51-54. ACM, (2008)Towards an Evolutionary Verification Methodology: Experiences with a Distributed Programming Language Implementation., and . PDPTA, page 256-264. CSREA Press, (1997)