Specifying and Monitoring Properties of Stochastic Spatio-Temporal Systems in Signal Temporal Logic Journal title: EAI Endorsed Transactions on Cloud Systems Authors: Laura Nenzi, Luca Bortolussi Subject(s): Computer and Information Science
Ontology Mapping of Business Process Modeling Based on Formal Temporal Logic Journal title: International Journal of Advanced Computer Science & Applications Authors: Irfan Chishti, Jixin Ma, Brian Knight Subject(s):
Modeling and Verification of Payment System in E-Banking Journal title: International Journal of Advanced Computer Science & Applications Authors: Iqra Obaid, Syed Asad Raza Kazmi, Awais Qasim Subject(s):
