Login / Signup
Adrian Garcia Ramirez
Publication Activity (10 Years)
Years Active: 2014-2014
Publications (10 Years): 0
Top Topics
Statistical Model
Real World
Least Squares
Search Algorithm
Top Venues
SAFECOMP
</>
Publications
</>
Adrian Garcia Ramirez
,
Julien Schmaltz
,
Freek Verbeek
,
Bruno Langenstein
,
Holger Blasum
On Two Models of Noninterference: Rushby and Greve, Wilding, and Vanfleet.
SAFECOMP
(2014)