Zobrazeno 1 - 3
of 3
pro vyhledávání: '"Timo Gutjahr"'
Autor:
Nils Glade, Daniel Gritzner, Joel Greenyer, Florian König, Timo Gutjahr, Guy Katz, Assaf Marron
Publikováno v:
Science of Computer Programming. 149:15-27
ScenarioTools is an Eclipse-based tool suite for the scenario-based modeling and analysis of reactive systems. ScenarioTools especially targets the modeling and analysis of systems where the behavior of the components is sensitive to changes in the c
Autor:
Joel Greenyer, Timo Gutjahr
Publikováno v:
MoDELS
Scenario-based specification with the Scenario Modeling Language (SML) is an intuitive approach for formally specifying the behavior of reactive systems. SML is close to how humans conceive and communicate requirements, yet SML is executable and simu
Autor:
Daniel Gritzner, Timo Gutjahr, Guy Katz, Assaf Marron, Nils Glade, Joel Greenyer, Florian König
Publikováno v:
Procedia Technology 26
Cyber-physical systems are found in many areas, e.g., manufacturing or smart cities. They consist of multiple components that cooperate to provide the desired functionality. This need for cooperation causes complex interactions between components, wh
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::8cc8547459702554032925e38f741b3a
http://www.repo.uni-hannover.de/handle/123456789/3268
http://www.repo.uni-hannover.de/handle/123456789/3268