Amanote Research
Register
Sign In
System-Level Verification of Embedded Operating Systems Components
doi 10.1109/sbesc.2012.39
Full Text
Open PDF
Abstract
Available in
full text
Date
November 1, 2012
Authors
Mateus Krepsky Ludwich
Antonio Augusto Frohlich
Publisher
IEEE
Related search
System-Level Co-Simulation for Embedded Systems
AIP Advances
Nanotechnology
Astronomy
Physics
Nanoscience
Analysis and Comparison of Five Kinds of Typical Device-Level Embedded Operating Systems
Journal of Software Engineering and Applications
Operating System Kernel Coprocessor for Embedded Applications
A Framework for System-Level Modeling and Simulation of Embedded Systems Architectures
Eurasip Journal on Embedded Systems
Control
Systems Engineering
Computer Science
Analysis of Physical Parameters Using Embedded Programmable Operating System
International Journal of Recent Trends in Engineering and Research
Design of ARM Based Embedded Operating System Micro Kernel
System-Level Development of Embedded Software
A Software Framework for Efficient System-Level Performance Evaluation of Embedded Systems
OpenSwarm: An Event-Driven Embedded Operating System for Miniature Robots
