Sciweavers

Share
WISTP
2007
Springer

An Information Flow Verifier for Small Embedded Systems

10 years 1 months ago
An Information Flow Verifier for Small Embedded Systems
Dorina Ghindici, Gilles Grimaud, Isabelle Simplot-
Added 09 Jun 2010
Updated 09 Jun 2010
Type Conference
Year 2007
Where WISTP
Authors Dorina Ghindici, Gilles Grimaud, Isabelle Simplot-Ryl
Comments (0)
books