Time in Cyber-Physical Systems: Specifications, Modeling and Measurements

Result code in IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216305%3A26230%2F13%3APU106358" target="_blank" >RIV/00216305:26230/13:PU106358 - isvavai.cz</a>

Result on the web

—

DOI - Digital Object Identifier

—

Result language

angličtina

Original language name

Time in Cyber-Physical Systems: Specifications, Modeling and Measurements

Original language description

This paper addresses the role, interpretation and the deployment of the notion "time" in distributed cyber-physical systems. It discusses various possibilities how to approach such modeling and selects the fitting one, which enables to utilize the related specification language ASL in the domain applications.

Czech name

—

Czech description

—

Type

D - Article in proceedings

CEP classification

—

OECD FORD branch

10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)

Project

Result was created during the realization of more than one project. More information in the Projects tab.

Continuities

P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)<br>S - Specificky vyzkum na vysokych skolach

Publication year

2013

Confidentiality

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Article name in the collection

Proceedings of the SCSI 2013

ISBN

978-1-61804-204-0

ISSN

—

e-ISSN

—

Number of pages

7

Pages from-to

413-419

Publisher name

European Society for Environmental Research and Sustainable Development

Place of publication

Rhodes Island

Event location

Rhodes (Rodos) Island

Event date

Jul 16, 2013

Type of event by nationality

WRD - Celosvětová akce

UT code for WoS article

—