Tool Integration with the Evidential Tool Bus
Abstract elided by the publisher.
Related papers
- jETI: A Tool for Remote Tool Integration TACAS 2005
- ViewPoint-Oriented Software Development: Tool Support for Integrating Multiple Perspectives by Distributed Graph Transformation TACAS 2000
- Verification of Parameterized Bus Arbitration Protocol CAV 1998
- ACS: Automatic Converter Synthesis for SoC Bus Protocols TACAS 2010
- Complete Formal Hardware Verification of Interfaces for a FlexRay-Like Bus CAV 2011
- Verification of an Audio Protocol with Bus Collision Using UPPAAL CAV 1996
- Parallel Shear-Warp Volume Rendering on Shared Address Space Multiprocessors PPoPP 1997
- A Mechanism for Environment Integration TOPLAS 1990