Login / Signup
High assurance technologies.
Michal Young
Published in:
ACM SIGSOFT Softw. Eng. Notes (2000)
Keyphrases
</>
high assurance
operating system
fault tolerant
software systems
distributed systems
data mining
access control
information systems
key technologies
future development
semantic technologies
artificial intelligence
multi agent systems
expert systems
st century