Login / Signup
Java-MaC: A Run-Time Assurance Approach for Java Programs.
Moonzoo Kim
Mahesh Viswanathan
Sampath Kannan
Insup Lee
Oleg Sokolsky
Published in:
Formal Methods Syst. Des. (2004)
Keyphrases
</>
java programs
multi threaded
java language
software components
java virtual machine
test suite
real time
building blocks
fine grained
intrusion detection
genetic programming
general purpose
query language
data model
database systems
information systems
artificial intelligence