.:. Browse > List by authors > Méry .:.

110 documents ordered by : Date Title first author name document type Submit date

... 3 - 4 - 5 - 6 - 7 - 8 - 9 ...

Event Systems and Access Control Méry D., Merz S. Dans Sixth International IFIP WG 1.7 Workshop on Issues in the Theory of Security (2006) 40-54 [inria-00001262 - version 1]

The challenge of QoS for digital television services Méry D., Cansell D., Proch C., Abraham D., Ditsch P. EBU Technical Review 302, Avril (2005) 11 p [inria-00001252 - version 1]

Refinement and Reachability in Event_B Abrial J.-R., Cansell D., Méry D. Dans ZB 2005 : Formal Specification and Development in Z and B : 4th International Conference of B and Z Users 3455 (2005) 222-241 [inria-00001245 - version 1]

The invoice case study modelling in Event B Cansell D., Méry D. (2005) [inria-00000857 - version 1]

DIXIT: a Graphical Toolkit for Predicate Abstractions Fejoz L., Méry D., Merz S. Dans Fourth International Workshop on Automated Verification of Infinite-State Systems - AVIS'05 (2005) 39-48 [inria-00000767 - version 1]

Synthesis of the QoS for digital TV services Abraham D., Cansell D., Ditsch P., Méry D., Proch C. Dans First International Workshop on Incentive Based Computing - IBC'05 (2005) [inria-00000565 - version 1]

Modelling SystemC scheduler by refinement Cansell D., Méry D., Proch C. Dans IEEE ISoLA Workshop on Leveraging Applications of Formal Methods, Verification, and Validation - ISOLA'05 (2005) [inria-00000564 - version 1]

Un système d'analyse de la qualité: de la norme au produit en passant par le raffinement Cansell D., Méry D., Proch C. Génie logiciel, 73 (2005) 44-50 [inria-00000196 - version 1]

Derivation of SystemC code from abstract system models Cansell D., Culat J.-F., Méry D., Proch C. Dans Forum on specification and Design Languages - FDL'04 (2004) 12 p [inria-00107780 - version 1]

Projet RNRT EQUAST ; SP2 Spécification incrémentale du système Proch C., Cansell D., Mery D. N° A04-R-237 || proch04a (2004) [inria-00100222 - version 1]