National Repository of Grey Literature 2 records found  Search took 0.00 seconds. 
Methods of specification of cyberphysical systems
Junek, Martin ; Hammer, Miloš (referee) ; Lacko, Branislav (advisor)
The aim of this diploma thesis is to analyse the advantages and disadvantages of different types of description of cyberphysical systems. It also concerns a description of the selected method that meets most of the current requirements for CPS design. In the practical part, attention is paid to the elaboration of an example for the specification of a selected cyberphysical system.
Methods of specification of cyberphysical systems
Junek, Martin ; Hammer, Miloš (referee) ; Lacko, Branislav (advisor)
The aim of this diploma thesis is to analyse the advantages and disadvantages of different types of description of cyberphysical systems. It also concerns a description of the selected method that meets most of the current requirements for CPS design. In the practical part, attention is paid to the elaboration of an example for the specification of a selected cyberphysical system.

Interested in being notified about new results for this query?
Subscribe to the RSS feed.