C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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