Zobrazeno 1 - 10
of 187
pro vyhledávání: '"Nickovic, D."'
Publikováno v:
International Journal on Software Tools for Technology Transfer, 24(3), 325-330. Springer
International journal on software tools for technology transfer (Internet) 24 (2022): 325–330. doi:10.1007/s10009-022-00660-4
info:cnr-pdr/source/autori:ter Beek M.H.; Larsen K.G.; Nickovic D.; Willemse T.A.C./titolo:Formal methods and tools for industrial critical systems/doi:10.1007%2Fs10009-022-00660-4/rivista:International journal on software tools for technology transfer (Internet)/anno:2022/pagina_da:325/pagina_a:330/intervallo_pagine:325–330/volume:24
International journal on software tools for technology transfer (Internet) 24 (2022): 325–330. doi:10.1007/s10009-022-00660-4
info:cnr-pdr/source/autori:ter Beek M.H.; Larsen K.G.; Nickovic D.; Willemse T.A.C./titolo:Formal methods and tools for industrial critical systems/doi:10.1007%2Fs10009-022-00660-4/rivista:International journal on software tools for technology transfer (Internet)/anno:2022/pagina_da:325/pagina_a:330/intervallo_pagine:325–330/volume:24
Formal methods and tools have become well established and widely applied to ensure the correctness of fundamental components of industrial critical systems in domains like railways, avionics and automotive. In this Introduction to the special issue,
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::4b3bf0d45240401171cbbe8b61a326ad
https://doi.org/10.1007/s10009-022-00660-4
https://doi.org/10.1007/s10009-022-00660-4
Akademický článek
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.
Akademický článek
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.
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.
Akademický článek
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.
Akademický článek
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.
Kniha
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.
Publikováno v:
Formal Modeling and Analysis of Timed Systems (10th International Conference, FORMATS 2012, London, UK, September 18-20, 2012. Proceedings), 1-6
STARTPAGE=1;ENDPAGE=6;TITLE=Formal Modeling and Analysis of Timed Systems (10th International Conference, FORMATS 2012, London, UK, September 18-20, 2012. Proceedings)
Lecture Notes in Computer Science ISBN: 9783642333644
STARTPAGE=1;ENDPAGE=6;TITLE=Formal Modeling and Analysis of Timed Systems (10th International Conference, FORMATS 2012, London, UK, September 18-20, 2012. Proceedings)
Lecture Notes in Computer Science ISBN: 9783642333644
Software plays an increasingly important role in modern embedded systems, leading to a rapid increase in design complexity. Model-driven exploration of design alternatives leads to shorter, more predictable development times and better controlled pro
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::5e636c8d83c5a345b489a7ac373a8b38
https://doi.org/10.1007/978-3-642-33365-1_1
https://doi.org/10.1007/978-3-642-33365-1_1
Akademický článek
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.
Akademický článek
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.