Especificación y Análisis de Sistemas de Tiempo Real en Teoría de Tipos

Computación y Sistemas

Carlos Daniel Luna¹ 

关键词: Feature Selection;    Typical Testors;    Logical Combinatorial Pattern Recognition;    Prediction of Stellar Parameters.;   

DOI  :  

学科分类：电子、光学、磁材料

来源: Instituto Politecnico Nacional * Centro de Investigacion en Computacion

【 摘 要 】

Para el análisis de sistemas de tiempo real se destacan dos enfoques formales: la verificación de modelos y el análisis deductivo basado en asistentes de pru...

【 授权许可】

Unknown