Search

Your search keyword '"BiP"' showing total 28 results

Search Constraints

Start Over You searched for: Descriptor "BiP" Remove constraint Descriptor: "BiP" Publication Type eBooks Remove constraint Publication Type: eBooks
28 results on '"BiP"'

Search Results

2. An Automatic Refinement for Event-B Through Annotated Temporal Logic Patterns

3. Component-Based Approach Combining UML and BIP for Rigorous System Design

4. Applied Statistical Model Checking for a Sensor Behavior Analysis

15. Reconfigurable and Software-Defined Networks of Connectors and Components

19. A Theory of Fault Recovery for Component-Based Models

25. BIP

26. BiP

Catalog

Books, media, physical & digital resources