Zobrazeno 1 - 6
of 6
pro vyhledávání: '"Hamdan Dammag"'
Autor:
Nimal Nissanke, Hamdan Dammag
Publikováno v:
Safety Science. 40:753-763
Safecharts is a variant of Statecharts intended exclusively for safety critical systems design. With two separate representations for functional and safety requirements, Safecharts brings the distinctions and dependencies between them into sharper fo
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::cb5ec4e9d32efce90670868ba01f249f
https://doi.org/10.1016/s0925-7535(01)00089-3
https://doi.org/10.1016/s0925-7535(01)00089-3
Autor:
Nimal Nissanke, Hamdan Dammag
Publikováno v:
Formal Methods and Software Engineering ISBN: 9783540204619
ICFEM
ICFEM
Safecharts is a variant of Statecharts intended exclusively for safety critical systems design. Its specific features include an explicit representation of risks posed by different hazardous states, a separation of functional and safety concerns, a r
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::9910c871c71764cabd4ed2e3059ade75
https://doi.org/10.1007/978-3-540-39893-6_35
https://doi.org/10.1007/978-3-540-39893-6_35
Autor:
Hamdan Dammag, Nimal Nissanke
Publikováno v:
Computer Safety, Reliability and Security ISBN: 9783540411864
SAFECOMP
SAFECOMP
Safecharts [2] are a variant of Statecharts developed exclusively for use in safety critical systems design. Its distinctive features include a safety oriented characterisation of transitions, restriction of default states to safe states, resolution
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::ef64c3f7bd273ce7c157e594bb3237b1
https://doi.org/10.1007/3-540-40891-6_34
https://doi.org/10.1007/3-540-40891-6_34
Publikováno v:
British Yemeni Society Journal. 2019, Vol. 27, p3-10. 8p.
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.
Autor:
Dammag, H., Nissanke, N.
Publikováno v:
Proceedings of the 18th IEEE Symposium on Reliable Distributed Systems; 1999, p78-87, 10p