Teaching formal methods: Experience at UPMC and UP13 with CosyVerif
Publisher:
Year
: 2014DOI: 10.1109/ICCE-Berlin.2014.7034297
Keyword(s): Communication standards,Data communication,Digital TV,Digital multimedia broadcasting,Multiplexing,Ginga,HbbTV,digital television,interactive television
Collections
:
-
Statistics
Teaching formal methods: Experience at UPMC and UP13 with CosyVerif
Show full item record
| contributor author | Andre, E. , Petrucci, L. , Kordon, F. | |
| date accessioned | 2020-03-12T20:37:06Z | |
| date available | 2020-03-12T20:37:06Z | |
| date issued | 2014 | |
| identifier other | 6879378.pdf | |
| identifier uri | https://libsearch.um.ac.ir:443/fum/handle/fum/1019837?locale-attribute=en | |
| format | general | |
| language | English | |
| publisher | IEEE | |
| title | Teaching formal methods: Experience at UPMC and UP13 with CosyVerif | |
| type | Conference Paper | |
| contenttype | Metadata Only | |
| identifier padid | 8144231 | |
| subject keywords | Communication standards | |
| subject keywords | Data communication | |
| subject keywords | Digital TV | |
| subject keywords | Digital multimedia broadcasting | |
| subject keywords | Multiplexing | |
| subject keywords | Ginga | |
| subject keywords | HbbTV | |
| subject keywords | digital television | |
| subject keywords | interactive television | |
| identifier doi | 10.1109/ICCE-Berlin.2014.7034297 | |
| journal title | AEEIE (EAEEIE), 2014 25th Annual Conference | |
| filesize | 632300 | |
| citations | 0 |