Semi-formal Methods for Security Informed Safety Assessment of Robotic Systems

Uproszczony widok
dc.contributor.authorKharchenko, Vyacheslav
dc.contributor.authorAbakumov, Artem
dc.contributor.authorYakovlev, Sergiy
dc.date.accessioned2023-09-25T10:03:20Z
dc.date.available2023-09-25T10:03:20Z
dc.date.issued2023
dc.identifier.citationKharchenko V., Abakumov A., Yakovlev S., Semi-formal Methods for Security Informed Safety Assessment of Robotic Systems. W: Progress in Polish Artificial Intelligence Research 4, Wojciechowski A. (Ed.), Lipiński P. (Ed.)., Seria: Monografie Politechniki Łódzkiej Nr. 2437, Wydawnictwo Politechniki Łódzkiej, Łódź 2023, s. 457-458, ISBN 978-83-66741-92-8, doi: 10.34658/9788366741928.72.
dc.identifier.doi10.34658/9788366741928.72
dc.identifier.isbn978-83-66741-92-8
dc.identifier.urihttp://hdl.handle.net/11652/4848
dc.identifier.urihttps://doi.org/10.34658/9788366741928.72
dc.language.isoenpl_PL
dc.page.numbers. 457-458
dc.publisherWydawnictwo Politechniki Łódzkiejpl_PL
dc.publisherLodz University of Technology Pressen_EN
dc.relation.ispartofWojciechowski A. (Ed.), Lipiński P. (Ed.)., Progress in Polish Artificial Intelligence Research 4, Seria: Monografie Politechniki Łódzkiej Nr. 2437, Wydawnictwo Politechniki Łódzkiej, Łódź 2023, ISBN 978-83-66741-92-8, doi: 10.34658/9788366741928.
dc.rightsDla wszystkich w zakresie dozwolonego użytkupl_PL
dc.rightsFair use conditionen_EN
dc.rights.licenseLicencja PŁpl_PL
dc.rights.licenseLUT Licenseen_EN
dc.subjectrobotic systemspl_PL
dc.subjectsafety assessmentpl_PL
dc.subjectsafety assessment of robotic systemspl_PL
dc.subjectrobotic industrial systemspl_PL
dc.subjectsystemy robotycznepl_PL
dc.subjectocena bezpieczeństwapl_PL
dc.subjectocena bezpieczeństwa systemów robotycznychpl_PL
dc.subjectzrobotyzowane systemy przemysłowepl_PL
dc.titleSemi-formal Methods for Security Informed Safety Assessment of Robotic Systemspl_PL
dc.typeRozdział - monografiapl_PL
dc.typeChapter - monographen_EN

Pliki

Oryginalne pliki

Teraz wyświetlane 1 - 1 z 1
Brak miniatury
Nazwa:
72. Semi_formal_methods_secur_Kharchenko_Abakumov_2023.pdf
Rozmiar:
134.83 KB
Format:
Adobe Portable Document Format
Opis:
Pobierz

Licencja

Teraz wyświetlane 1 - 1 z 1
Brak miniatury
Nazwa:
license.txt
Rozmiar:
1.71 KB
Format:
Item-specific license agreed upon to submission
Opis:
Pobierz

Kolekcje

Rozdziały
Książki, monografie, podręczniki, rozdziały (WFTIiMS)