Zobrazeno 1 - 7
of 7
pro vyhledávání: '"Stefan Einer"'
Publikováno v:
FERS-Mitteilungen. 28:61-64
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::acaec80ce5110c42d1a52036e9e56f18
https://doi.org/10.1007/bf03345446
https://doi.org/10.1007/bf03345446
Autor:
Stefan Einer
Publikováno v:
at - Automatisierungstechnik. 53:261-272
Die formale Technik „STOP — Spezifikationstechnik operationaler Prozesse“ dient dazu, Szenarien eines Systems und deren Abweichungspotenzial zu einem analysierbaren Verhaltensmodell des Systems zu synthetisieren. Dazu wurde eine bestimmte Form
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::0899e02d36ed9ef10df0269ef61cdada
https://doi.org/10.1524/auto.53.6.261.65597
https://doi.org/10.1524/auto.53.6.261.65597
Autor:
Stefan Einer, Eckehard Schnieder
Publikováno v:
IFAC Proceedings Volumes. 33:271-276
Higher Standards in performance and safety of future train control systems require the use of formal methods for the safe and efficient system development in this domain. At the beginning of each life-cycle an operation method which views the train c
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::ac20f6c8a45ad23085cb45235145f828
https://doi.org/10.1016/s1474-6670(17)37201-4
https://doi.org/10.1016/s1474-6670(17)37201-4
Autor:
Stefan Einer
Publikováno v:
Integration of Software Specification Techniques for Applications in Engineering ISBN: 9783540231356
SoftSpez Final Report
SoftSpez Final Report
The formal technique STOP is a specific application of Coloured Petri Nets [1]. It serves as a methodical specification of operational processes in automation systems. Each concrete specification made by using STOP can be verified with regard to rela
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::cd16138d773e78319d3cdc7fb3f47986
https://doi.org/10.1007/978-3-540-27863-4_14
https://doi.org/10.1007/978-3-540-27863-4_14
Publikováno v:
Petri Net Technology for Communication-Based Systems ISBN: 9783540205388
Petri Net Technology for Communication-Based Systems
Petri Net Technology for Communication-Based Systems
This paper shows an universal approach to the design and development of discrete or hybrid discrete-continuos control systems. As means of description Petri nets are used and as method the general approach called BASYSNET. Three main steps have to be
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::462c3ed7ab81286bf4059a2c29185821
https://doi.org/10.1007/978-3-540-40022-6_17
https://doi.org/10.1007/978-3-540-40022-6_17
Publikováno v:
auto. 49:336
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::113c45db4bfffb6db65ebc95b751657c
https://doi.org/10.1524/auto.2001.49.7.336
https://doi.org/10.1524/auto.2001.49.7.336
Conference
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.