Formal methods for broadband and multimedia systems (tutorial)
ICSE '97 Proceedings of the 19th international conference on Software engineering
Specifying and analysing multimedia systems
Formal methods for distributed processing
Multimedia Authoring with Hierarchical Timed Stream Petri Nets and Java
Multimedia Tools and Applications
Hi-index | 0.01 |