Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

5

MODELS
2015
Springer

favoriteEmaildiscussreport

10views Natural Language Processing» more MODELS 2015»

Behavioral Types for Space-aware Systems

8 years 11 days ago

Behavioral Types for Space-aware Systems

Download ceur-ws.org

Abstract—Behavioral types for space-aware systems are proposed as a means to facilitate the development, commissioning, maintenance, and refactoring of systems with cyber-physical characteristics. In this paper, we particularly introduce the formal deﬁnition of behavioral types that are associated with system components in order to specify their expected behavior. As application domain, we concentrate on systems from industrial automation that encompass recurring behavior.

Jan Olaf Blech, Peter Herrmann

Real-time Traffic

MODELS 2015 | Natural Language Processing |

claim paper

Related Content

» Typing the Behavior of Software Components using Session Types

» A Behavioral Type Inference System for Compositional SystemonChip Design

» TypeCastor demystify dynamic typing of JavaScript applications

» Spatial and Behavioral Types in the PiCalculus

» EyeTracking Users Behavior in Relation to Cognitive Style within an Elearning Environment

» Asymptotic Behaviors of Type2 Algorithms and Induced Baire Topologies

» On the dissipativity of pseudorational behaviors

» Modeling and Reasoning about Service Behaviors and Their Compositions

» An effective theory of type refinements

» EyeTracking Study of User Behavior in Recommender Interfaces

Post Info
More Details (n/a)

Added	15 Apr 2016
Updated	15 Apr 2016
Type	Journal
Year	2015
Where	MODELS
Authors	Jan Olaf Blech, Peter Herrmann

Comments (0)