Vote for your favorite mineral in #MinCup25! - Kosmochlor vs. Titanite
We're going for namesake-minerals as bright meteorite-derived green #kosmochlor is up against the wedge-shaped indicator mineral #titanite.
Log InRegister
Quick Links : The Mindat ManualThe Rock H. Currier Digital LibraryMindat Newsletter [Free Download]
Home PageAbout MindatThe Mindat ManualHistory of MindatCopyright StatusWho We AreContact UsAdvertise on Mindat
Donate to MindatCorporate SponsorshipSponsor a PageSponsored PagesMindat AdvertisersAdvertise on Mindat
Learning CenterWhat is a mineral?The most common minerals on earthInformation for EducatorsMindat ArticlesThe ElementsThe Rock H. Currier Digital LibraryGeologic Time
Minerals by PropertiesMinerals by ChemistryAdvanced Locality SearchRandom MineralRandom LocalitySearch by minIDLocalities Near MeSearch ArticlesSearch GlossaryMore Search Options
Search For:
Mineral Name:
Locality Name:
Keyword(s):
 
The Mindat ManualAdd a New PhotoRate PhotosLocality Edit ReportCoordinate Completion ReportAdd Glossary Item
Mining CompaniesStatisticsUsersMineral MuseumsClubs & OrganizationsMineral Shows & EventsThe Mindat DirectoryDevice SettingsThe Mineral Quiz
Photo SearchPhoto GalleriesSearch by ColorNew Photos TodayNew Photos YesterdayMembers' Photo GalleriesPast Photo of the Day GalleryPhotography

Basu, Ananda, Bensalem, Bensalem, Bozga, Marius, Combaz, Jacques, Jaber, Mohamad, Nguyen, Thanh-Hung, Sifakis, Joseph (2011) Rigorous Component-Based System Design Using the BIP Framework. IEEE Software, 28 (3) 41-48 doi:10.1109/ms.2011.27

Advanced
   -   Only viewable:
Reference TypeJournal (article/letter/editorial)
TitleRigorous Component-Based System Design Using the BIP Framework
JournalIEEE Software
AuthorsBasu, AnandaAuthor
Bensalem, BensalemAuthor
Bozga, MariusAuthor
Combaz, JacquesAuthor
Jaber, MohamadAuthor
Nguyen, Thanh-HungAuthor
Sifakis, JosephAuthor
Year2011 (May)Volume28
Issue3
PublisherInstitute of Electrical and Electronics Engineers (IEEE)
DOIdoi:10.1109/ms.2011.27Search in ResearchGate
Generate Citation Formats
Mindat Ref. ID15422291Long-form Identifiermindat:1:5:15422291:8
GUID0
Full ReferenceBasu, Ananda, Bensalem, Bensalem, Bozga, Marius, Combaz, Jacques, Jaber, Mohamad, Nguyen, Thanh-Hung, Sifakis, Joseph (2011) Rigorous Component-Based System Design Using the BIP Framework. IEEE Software, 28 (3) 41-48 doi:10.1109/ms.2011.27
Plain TextBasu, Ananda, Bensalem, Bensalem, Bozga, Marius, Combaz, Jacques, Jaber, Mohamad, Nguyen, Thanh-Hung, Sifakis, Joseph (2011) Rigorous Component-Based System Design Using the BIP Framework. IEEE Software, 28 (3) 41-48 doi:10.1109/ms.2011.27
In(2011, May) IEEE Software Vol. 28 (3) Institute of Electrical and Electronics Engineers (IEEE)

See Also

These are possibly similar items as determined by title/reference text matching only.

Bensalem, Saddek, Bozga, Marius, Quilbeuf, Jean, Sifakis, Joseph (2015) Optimized distributed implementation of multiparty interactions with Restriction. Science of Computer Programming, 98. 293-316 doi:10.1016/j.scico.2014.02.013
Bozga, Marius, Iosif, Radu, Sifakis, Joseph (2023) Verification of component-based systems with recursive architectures. Theoretical Computer Science, 940. 146-175 doi:10.1016/j.tcs.2022.10.022
(2011) Seapine Software Advertisement. IEEE Software, 28 (3) doi:10.1109/ms.2011.61
(2011) Software Experts Summit 2011 Advertisement. IEEE Software, 28 (3) doi:10.1109/ms.2011.63
(2024) IEEE Transactions on Privacy. IEEE Software, 41 (3) 48 doi:10.1109/ms.2024.3375989
Gangadharan, G.R., D'Andrea, Vincenzo (2011) Managing Copyrights and Moral Rights of Service-Based Software. IEEE Software, 28 (2) 48-55 doi:10.1109/ms.2010.161
(2011) Front Cover. IEEE Software, 28 (3) doi:10.1109/ms.2011.56
Booch, Grady (2011) Dominant Design. IEEE Software, 28 (2) 8-9 doi:10.1109/ms.2011.29
Spinellis, Diomidis (2011) Choosing and Using Open Source Components. IEEE Software, 28 (3) 96 doi:10.1109/ms.2011.54
(2011) Table of Contents. IEEE Software, 28 (3) doi:10.1109/ms.2011.64
Sifakis, Joseph (2015) System Design Automation: Challenges and Limitations. Proceedings of the IEEE, 103. 2093-2103 doi:10.1109/jproc.2015.2484060
 
and/or  
Mindat.org is an outreach project of the Hudson Institute of Mineralogy, a 501(c)(3) not-for-profit organization.
Copyright © mindat.org and the Hudson Institute of Mineralogy 1993-2025, except where stated. Most political location boundaries are Β© OpenStreetMap contributors. Mindat.org relies on the contributions of thousands of members and supporters. Founded in 2000 by Jolyon Ralph.
To cite: Ralph, J., Von Bargen, D., Martynov, P., Zhang, J., Que, X., Prabhu, A., Morrison, S. M., Li, W., Chen, W., & Ma, X. (2025). Mindat.org: The open access mineralogy database to accelerate data-intensive geoscience research. American Mineralogist, 110(6), 833–844. doi:10.2138/am-2024-9486.
Privacy Policy - Terms & Conditions - Contact Us / DMCA issues - Report a bug/vulnerability Current server date and time: September 21, 2025 00:12:42
Go to top of page