Checking the compliance of timing constraints in software applications

Trịnh Thanh Bình, Trương Ninh Thuận, Nguyễn Việt Hà

Abstract


See full text.



DOI: https://doi.org/10.15625/1813-9663/26/2/559 Display counter: Abstract : 60 views. PDF : 57 views. PDF (Tiếng Việt) : 5 views.

Journal of Computer Science and Cybernetics ISSN: 1813-9663

Published by Vietnam Academy of Science and Technology