PVSio-web: mathematically based tool support for the design of interactive and interoperable medical systems Journal title: EAI Endorsed Transactions on Collaborative Computing Authors: Paolo Masci, Patrick Oladimeji, Piergiuseppe Mallozzi, Paul Curzon, Harold Thimbleby Subject(s): Computer and Information Science, Computer Architecture, Data Communication and Networks
An Introduction to the Book Titled Nature of Computation and Communication Journal title: EAI Endorsed Transactions on Context-aware Systems and Applications Authors: Phan Cong Vinh Subject(s): Computer and Information Science, Data Communication and Networks
Templates as heuristics for proving properties of medical devices Journal title: EAI Endorsed Transactions on Creative Technologies Authors: Michael Harrison, Jose Campos, Paolo Masci, Paul Curzon Subject(s): Computer and Information Science, Telecommunications
Are HLS Tools Healthy? The C-Cubed Project Journal title: Engineering, Technology & Applied Science Research Authors: M. Dossis, G. Dimitriou Subject(s): Engineering, Technological Change, Information Science, Industrial Management, Civil Engineering
Enrichment of Object Oriented Petri Net and Object Z Aiming at Business Process Optimization Journal title: International Journal of Advanced Computer Science & Applications Authors: Aliasghar Ahmadikatouli, Homayoon Motameni Subject(s):
An Evaluation of A Country Based Anti- Phishing Approach Using Formal Methods Journal title: International Journal of Computer Science & Engineering Technology Authors: Abdullah M. Alnajim Subject(s):
Ideal Strategy to Improve Datawarehouse Performance Journal title: International Journal on Computer Science and Engineering Authors: Fahad Sultan , Dr. Abdul Aziz Subject(s):
A New Approach to the Quantitative Measurement of Software Reliability Journal title: Journal of Information Systems and Telecommunication Authors: Abbas Rasoolzadegan Subject(s):
An Approach to Compose Viewpoints of Different Stakeholders in the Specification of Probabilistic Systems Journal title: Journal of Information Systems and Telecommunication Authors: Mahboubeh Samadi, Hasan Haghighi Subject(s):
Analysis of Formal Methods for Specification of E-Commerce Applications Journal title: Mehran University Research Journal of Engineering and Technology Authors: Sadiq Ali Khan, Huma Jamshed Subject(s):
QUESTIONS INTELLECTUALIZATION OF MANAGEMENT OF TRANSPORTATION PROCESSES FOR RAILWAYS Journal title: Международный научный журнал "Интернаука" Authors: N.M. Aripov, D.X. Baratov Subject(s):
UML based Formal Model of Smart Transformer Power System Journal title: International Journal of Advanced Computer Science & Applications Authors: Muniba Sultan, Amna Pir, Nazir Ahmad Zafar 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):
A New Comment on Reinforcement of Testing Criteria Journal title: International Journal of Advanced Computer Science & Applications Authors: Monika Singh, Vinod Kumar Jain Subject(s):
Formal Specification of a Truck Geo-Location Big-Data Application Journal title: International Journal of Advanced Computer Science & Applications Authors: Ayman Naseem, Nadeem Akhtar, Malik Saad Missen Subject(s):
