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

Kód výsledku v 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>

Výsledek na webu

—

DOI - Digital Object Identifier

—

Jazyk výsledku

angličtina

Název v původním jazyce

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

Popis výsledku v původním jazyce

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.

Název v anglickém jazyce

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

Popis výsledku anglicky

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.

Druh

D - Stať ve sborníku

CEP obor

—

OECD FORD obor

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

Projekt

Výsledek vznikl pri realizaci vícero projektů. Více informací v záložce Projekty.

Návaznosti

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

Rok uplatnění

2013

Kód důvěrnosti údajů

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

Název statě ve sborníku

Proceedings of the SCSI 2013

ISBN

978-1-61804-204-0

ISSN

—

e-ISSN

—

Počet stran výsledku

7

Strana od-do

413-419

Název nakladatele

European Society for Environmental Research and Sustainable Development

Místo vydání

Rhodes Island

Místo konání akce

Rhodes (Rodos) Island

Datum konání akce

16. 7. 2013

Typ akce podle státní příslušnosti

WRD - Celosvětová akce

Kód UT WoS článku

—