Detail publikace

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

Originální název

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

Anglický název

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

Jazyk

en

Originální abstrakt

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.

Anglický abstrakt

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.

BibTex


@inproceedings{BUT103498,
  author="Miroslav {Švéda}",
  title="Time in Cyber-Physical Systems: Specifications, Modeling and Measurements",
  annote="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.",
  address="European Society for Environmental Research and Sustainable Development",
  booktitle="Proceedings of the SCSI 2013",
  chapter="103498",
  edition="Recent Advances in Electrical Engineering Series, 16",
  howpublished="print",
  institution="European Society for Environmental Research and Sustainable Development",
  year="2013",
  month="july",
  pages="413--419",
  publisher="European Society for Environmental Research and Sustainable Development",
  type="conference paper"
}