harri-klapuri documents

Implementing reactive closed-system specifications
Documents Implementing reactive closed-system specifications
Safety, liveness and real-time in embedded system design
Documents Safety, liveness and real-time in embedded system design
Mapping artificial neural networks to a tree shape neurocomputer
Documents Mapping artificial neural networks to a tree shape neurocomputer