Home
Publishing
DrugRxiv
Drug Repurposing
Network Medicine
About
REPO4EU
Meet the team
Drug Repurposing Research Collection
Conference
Blog
My ScienceOpen
Sign in
Register
Dashboard
Search
Home
Publishing
DrugRxiv
Drug Repurposing
Network Medicine
About
REPO4EU
Meet the team
Drug Repurposing Research Collection
Conference
My ScienceOpen
Sign in
Register
Dashboard
Search
53
views
20
references
Top references
cited by
2
Cite as...
0 reviews
Review
0
comments
Comment
0
recommends
+1
Recommend
0
collections
Add to
0
shares
Share
Twitter
Sina Weibo
Facebook
Email
3,747
similar
All similar
Record
: found
Abstract
: not found
Book Chapter
: not found
A Model-Checking Tool for Families of Services
other
Author(s):
Patrizia Asirelli
,
Maurice H. ter Beek
,
Alessandro Fantechi
,
Stefania Gnesi
Publication date
(Print):
2011
Publisher:
Springer Berlin Heidelberg
Read this book at
Publisher
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
Ecosystem services
Most cited references
20
Record
: found
Abstract
: not found
Book
: not found
Software Product Line Engineering
Klaus Pohl
,
Günter Böckle
,
Frank van der Linden
(2005)
0
comments
Cited
88
times
– based on
0
reviews
Bookmark
Record
: found
Abstract
: not found
Article
: not found
Service-Oriented Computing: State of the Art and Research Challenges
Michael Papazoglou
,
Paolo Traverso
,
Schahram Dustdar
…
(2007)
0
comments
Cited
62
times
– based on
0
reviews
Review now
Bookmark
Record
: found
Abstract
: not found
Article
: not found
A configurable reference modelling language
M Rosemann
,
W.M.P. van der Aalst
(2007)
0
comments
Cited
61
times
– based on
0
reviews
Review now
Bookmark
All references
Author and book information
Book Chapter
Publication date (Print):
2011
Pages
: 44-58
DOI:
10.1007/978-3-642-21461-5_3
SO-VID:
3b60cb05-7b68-42f2-b961-d4ba6e962feb
License:
http://www.springer.com/tdm
History
Data availability:
Comments
Comment on this book
Sign in to comment
Book chapters
pp. 1
On Global Types and Multi-party Sessions
pp. 29
Linear-Time and May-Testing in a Probabilistic Reactive Setting
pp. 44
A Model-Checking Tool for Families of Services
pp. 75
Counterexample Generation for Markov Chains Using SMT-Based Bounded Model Checking
pp. 106
A Framework for Verifying Data-Centric Protocols
pp. 121
Relational Concurrent Refinement: Timed Refinement
pp. 138
Galois Connections for Flow Algebras
pp. 153
An Accurate Type System for Information Flow in Presence of Arrays
pp. 168
Analysis of Deadlocks in Object Groups
pp. 183
Monitoring Distributed Systems Using Knowledge
pp. 198
Global State Estimates for Distributed Systems
pp. 213
A Process Calculus for Dynamic Networks
pp. 228
On Asynchronous Session Semantics
pp. 244
Towards Verification of the Pastry Protocol Using TLA +
pp. 259
Dynamic Soundness in Resource-Constrained Workflow Nets
pp. 274
SimGrid MC: Verification Support for a Multi-API Simulation Platform
pp. 289
Ownership Types for the Join Calculus
pp. 304
Contracts for Multi-instance UML Activities
pp. 334
Analyzing BGP Instances in Maude
Similar content
3,747
Data Sanity Check for Deep Learning Systems via Learnt Assertions
Authors:
Haochuan Lu
,
Huanlin Xu
,
Nana Liu
…
On SAT-based Bounded Invariant Checking of Blackbox Designs
Authors:
Marc Herbstritt
,
Bernd Becker
The Check and Report Ebola (CARE+) Program to Monitor Travelers for Ebola After Arrival to the United States, 2014-2016
Authors:
Heather Joseph
,
Abbey Wojno
,
Kelly Winter
…
See all similar
Cited by
2
Using Coordinated Actors to Model Families of Distributed Systems
Authors:
Ramtin Khosravi
,
Hamideh Sabouri
Product Lines for Service Oriented Applications - PL for SOA
Authors:
Stefania Gnesi
,
Maurice ter Beek
,
Mercy N. Njima
See all cited by