Sign in
Ensuring Correctness in the Specification and Handling of Non-Functional Attributes in High-Integrity Real-Time Embedded Systems.
Daniela Cancila
Roberto Passerone
Tullio Vardanega
Marco Panunzio
Published in:
IEEE Trans. Ind. Informatics (2010)
Keyphrases
</>
real time embedded systems
wide range
provably correct
high level
genetic algorithm
attribute values
data mining
learning algorithm
artificial intelligence
search engine
information systems
decision trees
human brain
high efficiency
attribute selection