Search alternatives:
simulation code » simulation codes, simulation mode, simulation model
kernel security » level security, internet security, internal security
code kernel » moped kernel
simulation code » simulation codes, simulation mode, simulation model
kernel security » level security, internet security, internal security
code kernel » moped kernel
1
by Enea, Constantin.
Published 2023
Format:
Published 2023
Table of Contents: “... Simulation -- 3 Quasimodo's Programming and Analysis Interface -- 3.1 Extending Quasimodo -- 4 The Internals...”
Click to View
2
by Groote, Jan Friso.
Published 2021
Format:
Published 2021
Table of Contents: “... Program Analysis -- 2.2 Second Phase: Numerical Kernel Analysis -- 2.3 Soundness Guarantees -- 3 First...”
Click to View