Publikace UTB
Repozitář publikační činnosti UTB

An insight into DVB-T system using formal modelling in Event-B

Repozitář DSpace/Manakin

Název: An insight into DVB-T system using formal modelling in Event-B
Autor: Krayem, Said; Pátíková, Zuzana
Typ dokumentu: Článek ve sborníku (English)
Zdrojový dok.: AIP Conference Proceedings. 2017, vol. 1863
ISSN: 0094-243X (Sherpa/RoMEO, JCR)
Journal Impact This chart shows the development of journal-level impact metrics in time
JCR Journal Citation Reports - Impact Factor
SNIP SCImago Source Normalized Impact per Paper
SJR SCImago Journal Rank
IPP SCImago Impact per Publication
CS Scopus CiteScore
(Note: The metrics are not comparable against one another.)
ISBN: 978-0-7354-1538-6
DOI: https://doi.org/10.1063/1.4992256
Abstrakt: Digital Video Broadcast - Terrestrial (DVB-T) can be seen as a complex system with many concrete features and aspects. This paper presents a simplified model and the first insight into this system from point of view of formal modelling methods. Using Event-B a start-up model concerning relations between signals, multiplexes and channels is introduced. As a background the standards for DVB-T in the Czech Republic are taken. © 2017 Author(s).
Plný text: http://aip.scitation.org/doi/abs/10.1063/1.4992256
Zobrazit celý záznam

Find Full text Export to RefWorks
   

 

Soubory tohoto záznamu

Icon
Název: Fulltext_1007296.pdf
Velikost: 286.6Kb
Formát: PDF
Popis: fulltext

Citace ČSN ISO 690:2011

Citace článku v konferenčním sborníku:
KRAYEM, Said a Zuzana PÁTÍKOVÁ. An insight into DVB-T system using formal modelling in Event-B. In: AIP Conference Proceedings [online]. Rhodes: American Institute of Physics (AIP), 2017 [cit. 2025-10-30]. ISSN 0094-243X. Dostupné z: http://aip.scitation.org/doi/abs/10.1063/1.4992256.

Tyto citace vytvořil software a mohou obsahovat chyby. Pro ověření přesnosti si nastudujte příslušnou citační normu nebo příručku.

Související články