HSCC '01 Proceedings of the 4th International Workshop on Hybrid Systems: Computation and Control
Integration of Logical and Physical Properties of Embedded Systems by Use of Time Petri Nets
SAFECOMP '98 Proceedings of the 17th International Conference on Computer Safety, Reliability and Security
Information and Computation
QoSA '09 Proceedings of the 5th International Conference on the Quality of Software Architectures: Architectures for Adaptive Software Systems
Hi-index | 0.00 |