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
31
views
6
references
Top references
cited by
10
Cite as...
0 reviews
Review
0
comments
Comment
0
recommends
+1
Recommend
0
collections
Add to
0
shares
Share
Twitter
Sina Weibo
Facebook
Email
2,319
similar
All similar
Record
: found
Abstract
: not found
Book Chapter
: not found
Computer Aided Verification
Towards Performance Prediction of Compositional Models in Industrial GALS Designs
other
Author(s):
Nicolas Coste
,
Holger Hermanns
,
Etienne Lantreibecq
,
Wendelin Serwe
Publication date
(Print):
2009
Publisher:
Springer Berlin Heidelberg
Read this book at
Publisher
Further versions
open (via free pdf)
oa repository (via OAI-PMH title and first author match)
oa repository (via OAI-PMH title and first author match)
oa repository (via OAI-PMH title and first author match)
oa repository (via OAI-PMH title and first author 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
Genomic Prediction
Most cited references
6
Record
: found
Abstract
: not found
Article
: not found
The Algebra of Timed Processes, ATP: Theory and Application
J. Sifakis
,
X. Nicollin
(1994)
0
comments
Cited
17
times
– based on
0
reviews
Review now
Bookmark
Record
: found
Abstract
: not found
Book Chapter
: not found
An overview and synthesis on timed process algebras
Xavier Nicollin
,
Joseph Sifakis
(1992)
0
comments
Cited
13
times
– based on
0
reviews
Bookmark
Record
: found
Abstract
: not found
Book Chapter
: not found
CADP 2006: A Toolbox for the Construction and Analysis of Distributed Processes
Hubert Garavel
,
Radu Mateescu
,
Frédéric Lang
…
(2007)
0
comments
Cited
11
times
– based on
0
reviews
Bookmark
All references
Author and book information
Book Chapter
Publication date (Print):
2009
Pages
: 204-218
DOI:
10.1007/978-3-642-02658-4_18
SO-VID:
8aea973b-085e-45ca-8983-a4d1699f0c86
History
Product
Self URI ( Book ):
http://link.springer.com/content/pdf/10.1007/978-3-642-02658-4.pdf
Self URI ( Book ):
http://link.springer.com/10.1007/978-3-642-02658-4
Self URI ( Book Chapter ):
http://link.springer.com/10.1007/978-3-642-02658-4_18
Data availability:
Comments
Comment on this book
Sign in to comment
Book chapters
pp. 188
Requirements Validation for Hybrid Systems
pp. 383
Quantifier Elimination via Functional Composition
pp. 35
Models and Proofs of Protocol Security: A Progress Report
pp. 51
SPEED: Symbolic Complexity Bound Analysis
pp. 696
Translation Validation: From Simulink to C
pp. 157
Automatic Verification of Integer Array Programs
pp. 204
Towards Performance Prediction of Compositional Models in Industrial GALS Designs
pp. 233
Cuts from Proofs: A Complete and Practical Technique for Solving Linear Inequalities over Integers
pp. 263
An Antichain Algorithm for LTL Realizability
pp. 306
Complete Instantiation for Quantified Formulas in Satisfiabiliby Modulo Theories
pp. 337
Sliding Window Abstraction for Infinite Markov Chains
pp. 398
Monotonic Partial Order Reduction: An Optimal Symbolic Partial Order Reduction Technique
pp. 430
Generating and Analyzing Symbolic Traces of Simulink/Stateflow Models
pp. 462
Generalizing DPLL to Richer Logics
pp. 477
Reducing Context-Bounded Concurrent Reachability to Sequential Reachability
pp. 509
Static and Precise Detection of Concurrency Errors in Systems Code Using SMT Solvers
pp. 540
Reachability Analysis of Hybrid Systems Using Support Functions
pp. 614
D-Finder: A Tool for Compositional Deadlock Detection and Verification
pp. 627
The Zonotope Abstract Domain Taylor1+
pp. 634
InvGen: An Efficient Invariant Generator
pp. 641
INFAMY: An Infinite-State Markov Model Checker
pp. 661
Apron: A Library of Numerical Abstract Domains for Static Analysis
pp. 682
MCMAS: A Model Checker for the Verification of Multi-Agent Systems
pp. 709
PAT: Towards Flexible Verification under Fairness
Similar content
2,319
Isolation of a λd
v
Plasmid Carrying the Bacterial
gal
Operon
Authors:
Douglas E. Berg
,
David D. Jackson
,
Janet E. Mertz
Mechanisms of Gal(alpha)1-3Gal(beta)1-4GlcNAc-R (alphaGal) expression on porcine valve endothelial cells.
Authors:
David Adams
,
Farzan Filsoufi
,
R Saeid Farivar
[Alpha-Gal in therapeutics : More relevant than thought?]
Authors:
B Wedi
See all similar
Cited by
10
CADP 2011: a toolbox for the construction and analysis of distributed processes
Authors:
Hubert Garavel
,
Frédéric Lang
,
Radu Mateescu
…
Formal Analysis of SEU Mitigation for Early Dependability and Performability Analysis of FPGA-based Space Applications
Authors:
Khaza Hoque
,
Otmane Ait Mohamed
,
Yvon Savaria
Non-bisimulation Based Behavioral Relations for Markov Automata
Authors:
Arpit Sharma
See all cited by