Asset Details

MbrlCatalogueTitleDetail

Do you wish to reserve the book?

Rigorous Component-Based System Design Using the BIP Framework

by Combaz, J , Nguyen, T , Jaber, M , Bensalem, B , Basu, A , Bozga, M , Sifakis, J

in Adaptation model / Analysis / Application software / autonomous robots / Case studies / code generation / component-based design / Computer Science / Connectors / correctness / deadlock-freedom / Design / design flow / Designers / Embedded Systems / invariant generation / Laboratories / Language / model transformation / model-based design / Programming / Robots / Semantics / Software / Software Engineering / Studies / Synchronization / System analysis and design / Systems design

2011

Yes Please

Hey, we have placed the reservation for you!

By the way, why not check out events that you can attend while you pick your title.

Oops! Something went wrong.

Looks like we were not able to place the reservation. Kindly try again later.

Are you sure you want to remove the book from the shelf?

Rigorous Component-Based System Design Using the BIP Framework

by Combaz, J , Nguyen, T , Jaber, M , Bensalem, B , Basu, A , Bozga, M , Sifakis, J

2011

Confirm

Do you wish to request the book?

Rigorous Component-Based System Design Using the BIP Framework

by Combaz, J , Nguyen, T , Jaber, M , Bensalem, B , Basu, A , Bozga, M , Sifakis, J

2011

Please be aware that the book you have requested cannot be checked out. If you would like to checkout this book, you can reserve another copy

How would you like to get it?

Submit

We have requested the book for you!

Your request is successful and it will be processed during the Library working hours. Please check the status of your request in My Requests.

Oops! Something went wrong.

Looks like we were not able to place your request. Kindly try again later.

Journal Article

Rigorous Component-Based System Design Using the BIP Framework

Combaz, J,

Nguyen, T,

Jaber, M,

Bensalem, B,

Basu, A,

Bozga, M,

Sifakis, J

2011

Overview

An autonomous robot case study illustrates the use of the behavior, interaction, priority (BIP) component framework as a unifying semantic model to ensure correctness of essential system design properties.

Share this book

Add to My Shelf

Publisher

IEEE,IEEE Computer Society,Institute of Electrical and Electronics Engineers

Subject

Adaptation model

/ Analysis

/ Application software

/ autonomous robots

/ Case studies

/ code generation

/ component-based design