DMCA

On the Formal Verification of Middleware Behavioral Properties (2004)

Cached

Download Links

by Jérôme Hugues , Thomas Vergnaud , Laurent Pautet , Yann Thierry-mieg , Soheib Baarir , Fabrice Kordon
Venue:In 9th International Workshop on Formal Methods for Industrial Critical Systems (FMICS’04
Citations:21 - 17 self