ScienceOpen:
research and publishing network
For Publishers
Discovery
Metadata
Peer review
Hosting
Publishing
For Researchers
Join
Publish
Review
Collect
My ScienceOpen
Sign in
Register
Dashboard
Blog
About
Search
Advanced search
My ScienceOpen
Sign in
Register
Dashboard
Search
Search
Advanced search
For Publishers
Discovery
Metadata
Peer review
Hosting
Publishing
For Researchers
Join
Publish
Review
Collect
Blog
About
68
views
12
references
Top references
cited by
17
Cite as...
0 reviews
Review
0
comments
Comment
0
recommends
+1
Recommend
0
collections
Add to
0
shares
Share
Twitter
Sina Weibo
Facebook
Email
4,655
similar
All similar
Record
: found
Abstract
: not found
Book Chapter
: not found
Software Composition
Modeling Dynamic Architectures Using Dy-BIP
other
Author(s):
Marius Bozga
,
Mohamad Jaber
,
Nikolaos Maris
,
Joseph Sifakis
Publication date
(Print):
2012
Publisher:
Springer Berlin Heidelberg
Read this book at
Publisher
Further versions
oa repository (via OAI-PMH doi match)
oa repository (via OAI-PMH doi match)
oa repository (via OAI-PMH doi match)
oa repository (via OAI-PMH doi match)
oa repository (via OAI-PMH doi match)
oa repository (via OAI-PMH doi match)
Powered by
Buy book
Review
Review book
Invite someone to review
Bookmark
Cite as...
There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.
Related collections
The Dynamic Brain
Most cited references
12
Record
: found
Abstract
: not found
Article
: not found
Rigorous Component-Based System Design Using the BIP Framework
Bensalem Bensalem
,
Jacques Combaz
,
Mohamad R. Jaber
…
(2011)
0
comments
Cited
29
times
– based on
0
reviews
Review now
Bookmark
Record
: found
Abstract
: not found
Book Chapter
: not found
Specifying and analyzing dynamic software architectures
Robert William Allen
,
Rémi Douence
,
David Garlan
(1998)
0
comments
Cited
16
times
– based on
0
reviews
Bookmark
Record
: found
Abstract
: not found
Conference Proceedings
: not found
Self-organising software architectures for distributed systems
Ioannis Georgiadis
,
Jeff Magee
,
Jeff Kramer
(2002)
0
comments
Cited
14
times
– based on
0
reviews
Bookmark
All references
Author and book information
Book Chapter
Publication date (Print):
2012
Pages
: 1-16
DOI:
10.1007/978-3-642-30564-1_1
SO-VID:
b111c3ae-32bb-4861-8284-0acd4bc3e890
History
Data availability:
Comments
Comment on this book
Sign in to comment
Book chapters
pp. 1
Modeling Dynamic Architectures Using Dy-BIP
Similar content
4,655
Thermal Conductivity and Specific Heat of the Spin-Ice Compound Dy\(_2\)Ti\(_2\)O\(_7\): Experimental Evidence for Monopole Heat Transport
Authors:
M. Hiertz
,
O. Breunig
,
G. Kolland
…
Electron-phonon interaction in Er and Dy doped YAl3(BO3)4 single crystals
Authors:
M. Mazzera
,
A. Baraldi
,
R. Capelletti
…
Study on the influence of fine particle content on dy- namic characteristics of tailings sand
Authors:
W CHU
See all similar
Cited by
17
DesignBIP: A Design Studio for Modeling and Generating Systems with BIP
Authors:
Anastasia Mavridou
,
Joseph Sifakis
,
Janos Sztipanovits
An Abstract Framework for Deadlock Prevention in BIP
Authors:
Paul Attie
,
Saddek Bensalem
,
Marius Bozga
…
Component-based verification using incremental design and invariants
Authors:
Rongjie Yan
,
Thanh-Hung Nguyen
,
Axel Legay
…
See all cited by