View in EDS

Model Checking of Software Components: Combining Java PathFinder and Behavior Protocol Model Checker.

Saved in:

Bibliographic Details
Title:	Model Checking of Software Components: Combining Java PathFinder and Behavior Protocol Model Checker.
Authors:	Pavel Parizek, Frantisek Plasil, Jan Kofron
Source:	2006 30th Annual IEEE/NASA Software Engineering Workshop; 2006, p133-141, 9p
Database:	Complementary Index

Description
ISBN:	9780769526249
DOI:	10.1109/SEW.2006.23