Rigorous Component-Based System Design Using the BIP Framework

By A. Basu, Saddek Bensalem, M. Bozga, Jacques Combaz, Mohamad Jaber, Thanh-Hung Nguyen, Joseph Sifakis. IEEE Software, 2011

338 citations recorded by the source corpus.

Subfields: Computational Theory and Mathematics, Hardware and Architecture

View Paper: https://www.semanticscholar.org/paper/3cb539f637330f3785f2e8632b16a8726704d913