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
1
views
9
references
Top references
cited by
0
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,290
similar
All similar
Record
: found
Abstract
: not found
Book Chapter
: not found
System Level Design from HW/SW to Memory for Embedded Systems
Structural Contracts – Motivating Contracts to Ensure Extra-Functional Semantics
other
Author(s):
Gregor Nitsche
,
Ralph Görgen
,
Kim Grüttner
,
Wolfgang Nebel
Publication date
(Online):
April 17 2018
Publisher:
Springer International Publishing
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)
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
Smart Contracts Programming Languages
Most cited references
9
Record
: found
Abstract
: not found
Book Chapter
: not found
Interface Theories for Component-Based Design
Luca de Alfaro
,
Thomas Henzinger
(2001)
0
comments
Cited
36
times
– based on
0
reviews
Bookmark
Record
: found
Abstract
: not found
Article
: not found
Taming Dr. Frankenstein: Contract-Based Design for Cyber-Physical Systems*
Werner Damm
,
Roberto Passerone
,
Alberto L. Sangiovanni-Vincentelli
(2012)
0
comments
Cited
29
times
– based on
0
reviews
Review now
Bookmark
Record
: found
Abstract
: not found
Book Chapter
: not found
Interface-Based Design
Luca Alfaro
,
Thomas Henzinger
(2005)
0
comments
Cited
16
times
– based on
0
reviews
Bookmark
All references
Author and book information
Book Chapter
Publication date (Print):
2017
Publication date (Online):
April 17 2018
Pages
: 77-87
DOI:
10.1007/978-3-319-90023-0_7
SO-VID:
6540574b-1e77-488e-9798-ff51e887e8b7
History
Data availability:
Comments
Comment on this book
Sign in to comment
Book chapters
pp. 3
Ontological User Modeling for Ambient Assisted Living Service Personalization
pp. 15
Multi-Agent Based Implementation of an Embedded Image Processing System in FPGA for Precision Agriculture Using UAVs
pp. 27
Combining Service-Oriented Computing with Embedded Systems - A Robotics Case Study
pp. 38
Integration of Robot Operating System and Ptolemy for Design of Real-Time Multi-robots Environments
pp. 51
Bit-Precise Formal Verification for SystemC Using Satisfiability Modulo Theories Solving
pp. 64
Timed Path Conditions in MATLAB/Simulink
pp. 77
Structural Contracts – Motivating Contracts to Ensure Extra-Functional Semantics
pp. 88
Combining an Iterative State-Based Timing Analysis with a Refinement Checking Technique
pp. 103
Hierarchical Multicore-Scheduling for Virtualization of Dependent Real-Time Systems
pp. 116
Analysis of Process Traces for Mapping Dynamic KPN Applications to MPSoCs
pp. 128
Modeling and Analysis of SLDL-Captured NoC Abstractions
pp. 145
Taming the Memory Demand Complexity of Adaptive Vision Algorithms
pp. 159
HMC and DDR Performance Trade-offs
pp. 172
Managing Cache Memory Resources in Adaptive Many-Core Systems
pp. 185
A UML Profile to Couple the Production Code Generator TargetLink with UML Design Tools
pp. 197
Rapid, High-Level Performance Estimation for DSE Using Calibrated Weight Tables
pp. 210
Low Latency FPGA Implementation of Izhikevich-Neuron Model
pp. 218
Reconfigurable Buffer Structures for Coarse-Grained Reconfigurable Arrays
Similar content
4,290
The count-mass distinction in typically developing and grammatically specifically language impaired children: new evidence on the role of syntax and semantics.
Authors:
Karen Froud
,
Heather K. J. van der Lely
The Semantic Differential in Opinion Measurement
Authors:
Richard F. Carter
,
W. Ruggels
,
Steven H. Chaffee
Negation Triplet Extraction with Syntactic Dependency and Semantic Consistency
Authors:
Yuchen Shi
,
Deqing Yang
,
Jingping Liu
…
See all similar