Articles citing this article

The Citing articles tool gives a list of articles citing the current article.
The citing articles come from EDP Sciences database, as well as other publishers participating in CrossRef Cited-by Linking Program. You can set up your personal account to receive an email alert each time this article is cited by a new article (see the menu on the right-hand side of the abstract page).

Cited article:

Formalizing Real-Time Embedded System into Promela

Punwess Sukvanich, Arthit Thongtak, Wiwat Vatanawood

MATEC Web of Conferences, 35 (2015) 03003

Published online: 2015-12-16

DOI: https://doi.org/10.1051/matecconf/20153503003

This article has been cited by the following article(s):

Polynomial Exact Schedulability and Infeasibility Test for Fixed-Priority Scheduling on Multiprocessor Platforms

Natalia Garanina, Igor Anureev and Dmitry Kondratyev
Applied System Innovation 8 (1) 15 (2025)
https://doi.org/10.3390/asi8010015

An Exact Schedulability Test for Real-Time Systems with Abstract Scheduler on Multiprocessor Platforms

Natalia O. Garanina
Modeling and Analysis of Information Systems 31 (4) 474 (2024)
https://doi.org/10.18255/1818-1015-2024-4-474-494

Amarat Pimkote and Wiwat Vatanawood
7 (2021)
https://doi.org/10.1145/3457784.3457786