top of page
This site was designed with the
.com
website builder. Create your website today.
Start Now
Crimson
C
enter for
R
esearch
i
n
M
odeling,
S
imulation & Visi
on
Department of Computing
School of Electrical Engineering and Computer Science
National University of Sciences and Technology
Log In
HOME
Funded Research
Hydro Power Generation Model
Electricity Consumption
Wind Power Generation
Domestic Water Consumption
People
Research Projects
Collaborations
Contact
More
Use tab to navigate through the menu items.
Ongoing Research Activities
Performing Simulated Cyber Attacks to Evaluate Security Resilience of Large IT Infrastructures
In the era of digital world, cyber security is a vital part of any computer system. Attack and defensive strategy have always remained...
Composability verification of complex systems using colored petri nets
A Colored Petri Net is a graphical language for construction models of concurrent systems and analyzing their properties. Component is...
Software Used:
Software Used:
Software Used:
Software Used:
bottom of page
