Open AccessModeling and Validation of a Data Process Unit Control for Space Applications
Author(s) -
Hai Wan,
Huang Chongdi,
Wang Yu-hui,
Fei He,
Ming Gao,
Rui Chen,
Marius Bozga
Publication year - 2012
Publication title -
hal (le centre pour la communication scientifique directe)
Language(s) - English
Resource type - Conference proceedings
Subject(s) - process (computing) , computer science , software , state space , data modeling , fault (geology) , real time computing , state (computer science) , process control , data validation , fault tolerance , reliability engineering , embedded system , distributed computing , engineering , operating system , database , mathematics , statistics , algorithm , seismology , geology