Translating Activity Diagram from Duration Calculus for Modeling of Real-Time Systems and its Formal Verification using UPPAAL and DiVinE Journal title: Mehran University Research Journal of Engineering and Technology Authors: Muhammad Abdil Basit Ur Rahim, Fahim Arif Subject(s):
Analysis and Formal Model of RFID-Based Patient Registration System Journal title: International Journal of Advanced Computer Science & Applications Authors: Marrium Khalid, Hamra Afzaal, Shoaib Hassan, Nazir Ahmad Zafar Subject(s):
INFLECTION PHENOMENON IN SPANISH AND ITS FORMAL MODEL-LING IN LINGUISTICS Journal title: Молодий вчений Authors: Ye.V. Kupriyanov Subject(s):
Four challenges for cognitive research on the recognition heuristic and a call for a research strategy shift Journal title: Judgment and Decision Making Authors: Tracy Tomlinson, Julian N. Marewski and Michael Dougherty Subject(s): Philosophy, Psychology, Social Sciences
