Zobrazeno 1 - 8
of 8
pro vyhledávání: '"Leupolz, Johannes"'
Publikováno v:
In IFAC PapersOnLine 2015 48(7):44-49
Autor:
Leupolz, Johannes
Classical software verification focuses on answering the question if the implementation of a piece of software conforms to a specification. Verification plays an essential role in safety-critical domains like railway, automotive, aviation, and also m
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______3341::2b857bbf6429e995d0e6e043e6cb39be
https://opus.bibliothek.uni-augsburg.de/opus4/files/38685/Cover.pdf
https://opus.bibliothek.uni-augsburg.de/opus4/files/38685/Cover.pdf
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.
Publikováno v:
Critical Systems: Formal Methods & Automated Verification; 2016, p97-114, 18p
Publikováno v:
2015 International Conference on Smart Cities & Green ICT Systems (SMARTGREENS); 2015, p128-133, 6p