Piotr Dembinski;Marek Sredniawa
-;-
Formal methods for broadband and multimedia systems (tutorial)
ICSE '97 Proceedings of the 19th international conference on Software engineering
Towards the automatic generation of quality-of-service-preserving implementations from formal specifications
Computer Communications