Apport des méthodes formelles pour l'exploitation de logs informatiques dans un contexte contractuel - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Gregor Gößler, 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. Technique et Science Informatiques, 33(1-2):63-84, 2014. [doi]

This author has not been identified. Look up 'Gregor Gößler' in GoogleThis author has not been identified. Look up 'Daniel Le Métayer' in GoogleThis author has not been identified. Look up 'Eduardo Mazza' in GoogleThis author has not been identified. Look up 'Marie-Laure Potet' in GoogleThis author has not been identified. Look up 'Lacramioara Astefanoaei' in Google

runs on WebDSL