Ahmad, S.; Malik, S.; Ullah, I.; Park, D.-H.; Kim, K.; Kim, D.
Towards the Design of a Formal Verification and Evaluation Tool of Real-Time Tasks Scheduling of IoT Applications. Sustainability 2019, 11, 204.
https://doi.org/10.3390/su11010204
AMA Style
Ahmad S, Malik S, Ullah I, Park D-H, Kim K, Kim D.
Towards the Design of a Formal Verification and Evaluation Tool of Real-Time Tasks Scheduling of IoT Applications. Sustainability. 2019; 11(1):204.
https://doi.org/10.3390/su11010204
Chicago/Turabian Style
Ahmad, Shabir, Sehrish Malik, Israr Ullah, Dong-Hwan Park, Kwangsoo Kim, and DoHyeun Kim.
2019. "Towards the Design of a Formal Verification and Evaluation Tool of Real-Time Tasks Scheduling of IoT Applications" Sustainability 11, no. 1: 204.
https://doi.org/10.3390/su11010204
APA Style
Ahmad, S., Malik, S., Ullah, I., Park, D.-H., Kim, K., & Kim, D.
(2019). Towards the Design of a Formal Verification and Evaluation Tool of Real-Time Tasks Scheduling of IoT Applications. Sustainability, 11(1), 204.
https://doi.org/10.3390/su11010204