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

Concept Inventories in Cybersecurity Education: An Example from Secure Programming., , , and . FIE, page 1-5. IEEE, (2018)Research on Kinematic and Static Filtering of the ESKF Based on INS/GNSS/UWB., , , , and . Sensors, 23 (10): 4735 (2023)Sustainable supply chain management practices and performance., and . Ind. Manag. Data Syst., 118 (1): 2-21 (2018)Research on NARX wind speed prediction network based on Copula., , , , , and . ICAC, page 1-6. IEEE, (2022)VBR MPEG Video Traffic Dynamic Prediction Based on the Modeling and Forecast of Time Series., and . NCM, page 1752-1757. IEEE Computer Society, (2009)Gaining Big Picture Awareness through an Interconnected Cross-Layer Situation Knowledge Reference Model., , , and . CyberSecurity, page 83-92. IEEE Computer Society, (2012)A Mobile Botnet That Meets Up at Twitter., , and . SecureComm (2), volume 255 of Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, page 3-21. Springer, (2018)Ethical impact of artificial intelligence in managerial accounting., , , , and . Int. J. Account. Inf. Syst., (June 2023)Toward Blockchain-Based Accounting and Assurance., and . J. Inf. Syst., 31 (3): 5-21 (2017)Combining Design by Contract and Inference Rules of Programming Logic towards Software Reliability., , and . ICETE (2), page 530-537. SciTePress, (2018)