TTL: a modular language for hardware/software systems design
Journal of Computer and System Sciences
On The Evolution Of Reliability Methods For Critical Software
Journal of Integrated Design & Process Science - Applications of formal methods
Hi-index | 0.01 |