Das Buch "Model Checking Software: 10th International SPIN Workshop" ist eine Sammlung von wissenschaftlichen Arbeiten, die auf dem 10. internationalen SPIN-Workshop präsentiert wurden, der im Mai 2003 in Portland, Oregon stattfand....

"Testing of Communicating Systems: 15th IFIP International Conference, TestCom 2003" ist ein Sammelband, der die Proceedings der internationalen Konferenz TestCom 2003 enthält. Diese Konferenz fand in Sophia Antipolis, Frankreich, statt...