Cyril Proch

  • Citations Per Year
Learn More
Systems-on-chip (SoCs) and SoC architectures provide a collection of challenging problems related to specification, modelling techniques, security issues and structuring questions. We describe a design methodology integrating the event B method and characterized by the incremental and proof-controlled construction of SoC models. The essence of the(More)
Quality of Service (QoS) in digital television broadcasting has been the subject of many studies during the last decade. This has led to the establishment of various standards and recommendations by organisations such as ETSI and the ITU. More than twenty relevant parameters and associated measurement methods have been specified by ETSI for DVB but their(More)
  • 1