Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Jose Quaresma
The Guided System Development Framework: Modeling and Verifying Communication Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
Modelling and Verifying Communication Failure of Hybrid Systems in HCSP
Computer Journal
Computer Science
Secure Communication Modeling for Microgrid Energy Management System: Development and Application
Energies
Control
Electronic Engineering
Energy Engineering
Renewable Energy
Energy
Fuel Technology
Sustainability
Optimization
Electrical
Power Technology
the Environment
A Framework for System-Level Modeling and Simulation of Embedded Systems Architectures
Eurasip Journal on Embedded Systems
Control
Systems Engineering
Computer Science
An Action Based Framework for Verifying Logical and Behavioural Properties of Concurrent Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Verifying Deadlock-Freedom of Communication Fabrics
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Verifying Theoretical Concepts of Performance Management Framework
Journal of Social Sciences Research
Arts
Finance
Humanities
Economics
Econometrics
Social Sciences
Modeling the Framework for Obstetrics Gynecology Department Information Systems
European Journal for Biomedical Informatics
A Modeling and Simulation Framework for Health Care Systems
IEEE Transactions on Systems, Man, and Cybernetics: Systems
Control
Systems Engineering
Information Systems
Human-Computer Interaction
Electronic Engineering
Computer Science Applications
Electrical
Software
A Framework for Event Correlation in Communication Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
