Cited By
View all- Comert FOvatman T(2016)Attacking state space explosion problem in model checking embedded TV softwareIEEE Transactions on Consumer Electronics10.1109/TCE.2015.738981461:4(572-579)Online publication date: 21-Jan-2016
- Díaz-Sánchez DSánchez-Guerrero RArias PAlmenarez FMarín A(2016)A distributed transcoding and content protection systemTelecommunications Systems10.1007/s11235-014-9952-x61:1(59-76)Online publication date: 1-Jan-2016
- Díaz-Sánchez DAlmenarez FMarín ASánchez-Guerrero RArias P(2014)Media GatewayTelecommunications Systems10.1007/s11235-013-9783-155:2(315-330)Online publication date: 1-Feb-2014
- Show More Cited By