HARTEX

MaRDI QIDQ14874swMATHFDO

Official website http://onlinelibrary.wiley.com/doi/10.1002/spe.435/abstract

Described by source

• HARTEX?a safe real-time kernel for distributed computer control systems

This page was built for software: HARTEX