Have a personal or library account? Click to login
Checking Temporal Constraints of Events in EBS at Runtime Cover

Checking Temporal Constraints of Events in EBS at Runtime

Cybernetics and Information Technologies
Volume 24 (2024): Issue 1 (March 2024)
By: Thanh-Binh Trinh,  Hanh-Phuc Nguyen,  Dinh-Hai Nguyen,  Van-Khanh To and  Ninh-Thuan Truong  
Open Access
|Mar 2024

Authors

Thanh-Binh Trinh

binh.trinhthanh@phenikaa-uni.edu.vn

Faculty of Computer Science, Phenikaa University, Hanoi, Vietnam

Hanh-Phuc Nguyen

phucnh@vimaru.edu.vn

VMU – Vietnam Maritime University, Haiphong, Vietnam

Dinh-Hai Nguyen

19020278@vnu.edu.vn

VNU University of Engineering and Technology, Hanoi, Vietnam

Van-Khanh To

khanhtv@vnu.edu.vn

VNU University of Engineering and Technology, Hanoi, Vietnam

Ninh-Thuan Truong

thuantn@vnu.edu.vn

VNU University of Engineering and Technology, Hanoi, Vietnam
DOI: https://doi.org/10.2478/cait-2024-0005 | Journal eISSN: 1314-4081 | Journal ISSN: 1311-9702
Journal RSS Feed
Language: English
Page range: 82 - 97
Submitted on: Sep 11, 2023
Accepted on: Nov 28, 2023
Published on: Mar 23, 2024
Published by: Bulgarian Academy of Sciences, Institute of Information and Communication Technologies
In partnership with: Paradigm Publishing Services
Publication frequency: 4 issues per year
Keywords:
Checking tool,
Event-based systems,
Runtime verification,
Temporal constraints
Related subjects:
Computer sciences,
Information technology

© 2024 Thanh-Binh Trinh, Hanh-Phuc Nguyen, Dinh-Hai Nguyen, Van-Khanh To, Ninh-Thuan Truong, published by Bulgarian Academy of Sciences, Institute of Information and Communication Technologies
This work is licensed under the Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 License.

Previous articleVolume 24 (2024): Issue 1 (March 2024)Next article