AIRCC Digital Library
Home
Advance Search
Browse
Search by Author
Digital Signal And Image Processing
IJESA
ISSN : 1839-5171 [Online]
volume - 1 - 1
volume - 1 - 2
volume - 2 - 2
volume - 2 - 3
volume - 2 - 4
volume - 3 - 1
volume - 3 - 3
volume - 4 - 1
volume - 4 - 2
volume - 4 - 4
volume - 5 - 2
volume - 5 - 3
volume - 5 - 4
volume - 6 - 1
volume - 6 - 4
volume - 7 - 1
volume - 8 - 1
volume - 8 - 4
volume - 9 - 1
volume - 9 - 2
volume - 12 - 4
volume - 13 - 1
volume - 13 - 2
volume - 13 - 4
Pip-MPU: Formal Verification of an MPU-Based Separationkernel for Constrained Devices
Nicolas Dejon1,2, Chrystel Gaber1 and Gilles Grimaud2, 1Orange Labs, France, 2Univ. Lille, France
Volume : 13 volume number : 2
pdf
Other Journals
Networks And Communications
Software Engineering And Security
Database Systems
Multimedia, CG And Animation
Internet Computing
Artificial Intelligence
Soft Computing
Computer Science And IT
Information Technology Management
Control Theory
Others