Bus Protocols: MSC-Based Specifications and Translation into Program of Verification Tool for Formal Verification
Business Mereology: Imaginative Definitions of Insourcing and Outsourcing Transformations
Business Process Modeling Notation - An Overview
Buttable optical CCD mosaics - Concept and first results at the European Southern Observatory