Formal methods for broadband and multimedia systems (tutorial)
ICSE '97 Proceedings of the 19th international conference on Software engineering
Performance Evaluation Of Systems Defined In Specification Language Estelle
Fundamenta Informaticae
Hi-index | 0.00 |