Conference
BMCLua: Verification of Lua programs in digital TV interactive applications
| Τίτλος: | BMCLua: Verification of Lua programs in digital TV interactive applications |
|---|---|
| Συγγραφείς: | Januario, F.A.P., Cordeiro, L.C., De Lucena, V.F., De Lima Filho, E.B. |
| Πηγή: | 2014 IEEE 3rd Global Conference on Consumer Electronics (GCCE) Consumer Electronics (GCCE), 2014 IEEE 3rd Global Conference on. :707-708 Oct, 2014 |
| Relation: | 2014 IEEE 3rd Global Conference on Consumer Electronics (GCCE) |
| Βάση Δεδομένων: | IEEE Xplore Digital Library |
| ISBN: | 9781479951451 |
|---|---|
| ISSN: | 23788143 |
| DOI: | 10.1109/GCCE.2014.7031344 |