A Formal Modeling Approach for Portable Low-Level OS Functionality.

Renata Martins Gomes Bernhard K. Aichernig Marcel Baunach

Published in: SEFM (2020)

Keyphrases

low level
high level
operating system
artificial intelligence
machine learning
object recognition
open source
formal model
modeling framework
genetic algorithm
low level features
modeling language
formal models