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

Facets (new session)
Description
Metadata
Settings
- owl:sameAs
- Inference Rule:

About: Time in Cyber-Physical Systems: Specifications, Modeling and Measurements Goto Sponge NotDistinct Permalink

An Entity of Type : http://linked.opendata.cz/ontology/domain/vavai/Vysledek, within Data Space : linked.opendata.cz associated with source document(s)

Attributes	Values
rdf:type	skos:Concept http://linked.opendata.cz/ontology/domain/vavai/Vysledek
Description	This paper addresses the role, interpretation and the deployment of the notion %22time%22 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. This paper addresses the role, interpretation and the deployment of the notion %22time%22 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. (en)
Title	Time in Cyber-Physical Systems: Specifications, Modeling and Measurements Time in Cyber-Physical Systems: Specifications, Modeling and Measurements (en)
skos:prefLabel	Time in Cyber-Physical Systems: Specifications, Modeling and Measurements Time in Cyber-Physical Systems: Specifications, Modeling and Measurements (en)
skos:notation	RIV/00216305:26230/13:PU106358!RIV14-MPO-26230___
http://linked.open...avai/predkladatel	Fakulta informačních technologií
http://linked.open...avai/riv/aktivita	P S
http://linked.open...avai/riv/aktivity	P(ED1.1.00/02.0070), P(FR-TI1/037), P(TA01010632), S
http://linked.open...vai/riv/dodaniDat	2014
http://linked.open...aciTvurceVysledku	Švéda, Miroslav
http://linked.open.../riv/druhVysledku	D - Článek ve sborníku
http://linked.open...iv/duvernostUdaju	S - Úplné a pravdivé údaje nepodléhající ochraně podle zvláštních právních předpisů
http://linked.open...titaPredkladatele	Vysoké učení technické v Brně / Fakulta informačních technologií
http://linked.open...dnocenehoVysledku	111094
http://linked.open...ai/riv/idVysledku	RIV/00216305:26230/13:PU106358
http://linked.open...riv/jazykVysledku	eng - angličtina
http://linked.open.../riv/klicovaSlova	cyber-physical system, time, temporal partial order, operational semantics, measurement (en)
http://linked.open.../riv/klicoveSlovo	operational semantics cyber-physical system measurement time temporal partial order
http://linked.open...ontrolniKodProRIV	[0B34F4285939]
http://linked.open...v/mistoKonaniAkce	Rhodes (Rodos) Island
http://linked.open...i/riv/mistoVydani	Rhodes Island
http://linked.open...i/riv/nazevZdroje	Proceedings of the SCSI 2013
http://linked.open...in/vavai/riv/obor	IN
http://linked.open...ichTvurcuVysledku	1 (xsd:int)
http://linked.open...cetTvurcuVysledku	1 (xsd:int)
http://linked.open...vavai/riv/projekt	IT4Innovations Centre of Excellence SCADA System for Real-time Control and Monitoring of Processes *Automated attack processing
http://linked.open...UplatneniVysledku	2013
http://linked.open...iv/tvurceVysledku	Švéda, Miroslav
http://linked.open...vavai/riv/typAkce	WRD - Světová
http://linked.open.../riv/zahajeniAkce	2013-07-16 (xsd:date)
number of pages	7 (xsd:int)
http://purl.org/ne...btex#hasPublisher	European Society for Environmental Research and Sustainable Development
https://schema.org/isbn	978-1-61804-204-0
http://localhost/t...ganizacniJednotka	26230

Faceted Search & Find service v1.16.118 as of Jun 21 2024

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 07.20.3240 as of Jun 21 2024, on Linux (x86_64-pc-linux-gnu), Single-Server Edition (126 GB total memory, 112 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software