Model Checking of Software Components: Combining Java PathFinder and Behavior Protocol Model Checker - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Pavel Parizek, Frantisek Plasil, Jan Kofron. Model Checking of Software Components: Combining Java PathFinder and Behavior Protocol Model Checker. In 30th Annual IEEE / NASA Software Engineering Workshop (SEW-30 2006), 25-28 April 2006, Loyola College Graduate Center, Columbia, MD, USA. pages 133-141, IEEE Computer Society, 2006. [doi]

This author has not been identified. Look up 'Pavel Parizek' in GoogleThis author has not been identified. Look up 'Frantisek Plasil' in GoogleThis author has not been identified. Look up 'Jan Kofron' in Google

runs on WebDSL