Rechercher

		Pertinence Auteur A→Z Auteur Z→A Titre A→Z Titre Z→A Date de publication croissante Date de publication décroissante Date de dépôt croissante Date de dépôt décroissante 30 résultats par page 50 résultats par page 100 résultats par page Pour les 6 documents Exporter XML-TEI BibTeX EndNote CSV PDF Export avancé... Syndication RSS ATOM
	hal-00789668v1 Communication dans un congrès Eduardo Mazza, Marie-Laure Potet, Daniel Le Métayer. A formal framework for specifying and analyzing logs as electronic evidence. 13th Brazilian Symposium Formal Methods, SBMF 2010 (Revised Selected Papers), Nov 2010, Natal, Brazil. Springer, 6527, pp.194-209, 2011, LNCS; Formal Methods: Foundations and Applications. <10.1007/978-3-642-19829-8_13>
	hal-00789700v1 Communication dans un congrès Daniel Le Métayer, Eduardo Mazza, Marie-Laure Potet. Designing log architectures for legal evidence. SEFM - Software Engineering and Formal Methods; 8th IEEE International Conference on, Sep 2010, Pisa, Italy. IEEE, pp.156-165, 2010, <10.1109/SEFM.2010.29>
	hal-00656921v1 Article dans une revue Daniel Le Métayer, Manuel Maarek, Eduardo Mazza, Marie-Laure Potet, Stéphane Frénot et al. Liability issues in software engineering: the use of formal methods to reduce legal uncertainties Communications- ACM, Association for Computing Machinery, 2011, 54 (4), pp.99-106. <10.1145/1924421.1924444>
	inria-00440437v1 Rapport Christophe Alleaune, Valérie-Laure Benabou, Denis Beras, Christophe Bidan, Nicolas Craipeau et al. Liability in Software Engineering: Overview of the LISE Approach and Illustration on a Case Study [Research Report] RR-7148, INRIA. 2009, pp.23
	inria-00472287v3 Communication dans un congrès Daniel Le Métayer, Manuel Maarek, Eduardo Mazza, Marie-Laure Potet, Stéphane Frénot et al. Liability in Software Engineering Overview of the LISE Approach and Illustration on a Case Study ACM/IEEE 32nd International Conf. on Software Engineering (ICSE 2010), May 2010, Cape Town, South Africa. pp.135--144, 2010, Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - Volume 1, ICSE 2010. <http://doi.acm.org/10.1145/1806799.1806823>. <10.1145/1806799.1806823>
	hal-01078220v1 Article dans une revue Gregor Gössler, Daniel Le Métayer, Eduardo Mazza, Marie-Laure Potet, Lacramioara Astefanoaei. Apport des méthodes formelles pour l'exploitation de logs informatiques dans un contexte contractuel Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, Lavoisier, 2014, pp.63-84. <10.3166/tsi.33.63-84>
		Pertinence Auteur A→Z Auteur Z→A Titre A→Z Titre Z→A Date de publication croissante Date de publication décroissante Date de dépôt croissante Date de dépôt décroissante 30 résultats par page 50 résultats par page 100 résultats par page Pour les 6 documents Exporter XML-TEI BibTeX EndNote CSV PDF Export avancé... Syndication RSS ATOM