A framework for OS portability: from formal models to low-level code.

Renata Martins Gomes Marcel Baunach

Published in: SAC (2022)

Keyphrases

low level
formal models
main contribution
high level
probabilistic model
lightweight
middle level
theoretical framework
higher level
open source
real world
business process
information systems
process model
low level features
conceptual framework
learning algorithm
data mining