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 : 128 views. PDF : 101 views. PDF (Tiếng Việt) : 19 views.

Oktrik

Journal of Computer Science and Cybernetics ISSN: 1813-9663

Published by Vietnam Academy of Science and Technology