Florida International University
Edit Your Profile
FIU Discovery
Toggle navigation
Browse
Home
People
Organizations
Scholarly & Creative Works
Research Facilities
Support
2015 IEEE 16TH INTERNATIONAL SYMPOSIUM ON HIGH ASSURANCE SYSTEMS ENGINEERING (HASE)
Book
2015 IEEE 16TH INTERNATIONAL SYMPOSIUM ON HIGH ASSURANCE SYSTEMS ENGINEERING (HASE) .
Share this citation
Twitter
Email
2015 IEEE 16TH INTERNATIONAL SYMPOSIUM ON HIGH ASSURANCE SYSTEMS ENGINEERING (HASE) .
Copy Citation
Share
Overview
Identifiers
Other
View All
Overview
publication venue for
Cyber Security Resource Allocation: A Markov Decision Process Approach
2017
A Method for Validating Intent Model Behavior in DSVMs
2015
Towards adaptable middleware to support service delivery validation in i-DSML execution engines
2012
Towards reliable smart microgrid behavior using runtime model synthesis
2012
Random Relaxation Abstractions for Bounded Reachability Analysis of Linear Hybrid Automata
2008
Randomization Based Probabilistic Approach to Detect Trojan Circuits
2008
Identifiers
International Standard Serial Number (ISSN)
1530-2059
Other
journal abbreviation
IEEE HI ASS SYS ENGR
