TBU Publications
Repository of TBU Publications

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

DSpace Repository

Title: An insight into DVB-T system using formal modelling in Event-B
Author: Krayem, Said; Pátíková, Zuzana
Document type: Conference paper (English)
Source document: 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
Abstract: 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).
Full text: http://aip.scitation.org/doi/abs/10.1063/1.4992256
Show full item record

Find Full text Export to RefWorks
   

 

Files in this item

Icon
Name: Fulltext_1007296.pdf
Size: 286.6Kb
Format: PDF
Description: fulltext

ČSN ISO 690:2011 citation

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-11-01]. ISSN 0094-243X. Dostupné z: http://aip.scitation.org/doi/abs/10.1063/1.4992256.

These citations are software generated and may contain errors. To verify accuracy, check the appropriate style guide.

Related articles