Login / Signup
Infrastructure for formal and dynamic verification of peripheral programming model.
Walter Soto Encinas
Francisco Romulo da Silva Araujo
Harney Abrahim
Published in:
LATS (2016)
Keyphrases
</>
formal model
mathematical model
statistical model
computational model
experimental data
data collection
information systems
website
cost function
probabilistic model
theoretical framework
simulation model
dynamic aspects