Hierarchical Verification in Maude of L ::::f:::: P Software Architectures - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Chadlia Jerad, Kamel Barkaoui, Amel Grissa-Touzi. Hierarchical Verification in Maude of L ::::f:::: P Software Architectures. In Flávio Oquendo, editor, Software Architecture, First European Conference, ECSA 2007, Aranjuez, Spain, September 24-26, 2007, Proceedings. Volume 4758 of Lecture Notes in Computer Science, pages 156-170, Springer, 2007. [doi]

This author has not been identified. Look up 'Chadlia Jerad' in GoogleThis author has not been identified. Look up 'Kamel Barkaoui' in GoogleThis author has not been identified. Look up 'Amel Grissa-Touzi' in Google

runs on WebDSL