Synthesis of the QoS for digital TV services The Netherlands, IBC'05, 2005. ,
The B Book -Assigning Programs to Meanings, 1996. ,
B#: Toward a Synthesis between Z and B, ZB'2003 -Formal Specification and Development in Z and B, pp.168-177, 2003. ,
DOI : 10.1007/3-540-44880-2_12
On correct refinement of programs, Journal of Computer and System Sciences, vol.23, issue.1, pp.49-68, 1979. ,
DOI : 10.1016/0022-0000(81)90005-2
Derivation of SystemC code from abstract system models, Forum on specification & Design Languages -FDL'04, 2004. ,
URL : https://hal.archives-ouvertes.fr/inria-00107780
Logical foundations of the B method, Computers and Informatics, vol.22, 2003. ,
A. Model Checking, 2000. ,
URL : https://hal.archives-ouvertes.fr/hal-01105762
Web site b4free set of tools for development of b models, 2004. ,
Digital video broadcasting (DVB)-measurement guidelines for DVB systems, p.5, 2001. ,
An executable operational semantics for SystemC using Abstract State Machines, 2005. ,
Formal definition of an abstract VHDL'93 simulator by EAmachines, Formal Semantics for VHDL, 1995. ,
The challenge of QoS for digital television services, EBU Technical Review, vol.302, 2005. ,
The formal execution semantics of SpecC, Proceedings of the 15th international symposium on System Synthesis , ISSS '02, pp.150-155, 2002. ,
DOI : 10.1145/581199.581234
The simulation semantics of SystemC, DATE '01: Proceedings of the conference on Design, automation and test in Europe, pp.64-70, 2001. ,
Simulation-guided property checking based on multi-valued AR-automata, Proceedings Design, Automation and Test in Europe. Conference and Exhibition 2001, pp.742-748, 2001. ,
DOI : 10.1109/DATE.2001.915111
Formal semantics of synchronous SystemC, 2003 Design, Automation and Test in Europe Conference and Exhibition, pp.376-381, 2003. ,
DOI : 10.1109/DATE.2003.1253637
Official web site of SystemC community, 1999. ,