Florida International University
Edit Your Profile
FIU Discovery
Toggle navigation
Browse
Home
People
Organizations
Scholarly & Creative Works
Research Facilities
Support
Proceedings of IEEE International Symposium on High Assurance Systems Engineering
Journal
Overview
Identifiers
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
Constructions of behaviour observation schemes in software testing
2000
Identifiers
International Standard Serial Number (ISSN)
1530-2059
International Standard Book Number (ISBN) 13
978-0-7695-3482-4
