Searching for "Model Checking in Practice The T9000 Virtual Channel Processor." – sorted by Relevance.
-
Dependablesyenda Evolution
- Transactions on Software Engineering 15(5):611–621. Bar95 G. Barrett 1995. Model checking in practice: The t
- Add To MetaCart

