Modelowanie i analiza oprogramowania z zastosowaniem języka AADL i sieci Petriego
| dc.contributor.author | Łukowicz, Łukasz | |
| dc.contributor.department | Wydział Elektrotechniki, Automatyki, Informatyki i Inżynierii Biomedycznej | |
| dc.contributor.reviewer | Klimek, Radosław | |
| dc.contributor.supervisor | Szmuc, Tomasz | |
| dc.date.available | 2020-02-10T18:10:00Z | |
| dc.date.defence | 2019-12-17 | |
| dc.description.type | praca magisterska | |
| dc.identifier.uri | https://repo.agh.edu.pl/handle/AGH/81819 | |
| dc.language.iso | pol | |
| dc.rights | AGH Licence (Thesis) - Fair Use | |
| dc.rights.access | otwarty dostęp | |
| dc.rights.accessNote | Brak zgody na udostępnienie pracy w czytelni Biblioteki Wydziałowej | |
| dc.rights.uri | https://repo.agh.edu.pl/info/licence-agh-thesis | |
| dc.subject | AADL | pl |
| dc.subject | sieci Petriego | pl |
| dc.subject | translacja | pl |
| dc.subject | mapowanie | pl |
| dc.subject | model | pl |
| dc.subject | oprogramowanie | pl |
| dc.title | Modelowanie i analiza oprogramowania z zastosowaniem języka AADL i sieci Petriego | pl |
| dc.title.alternative | Modelling and analysis of software using AADL language and Petri nets | en |
| dc.type | praca dyplomowa | |
| dspace.entity.type | Publication | |
| thesis.degree.discipline | Informatyka (WEAIiIB) | pl |
| thesis.degree.fieldOfStudyInstanceCode | 13613 | |
| thesis.degree.formOfStudy | stacjonarne | pl |
| thesis.degree.grantor | Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie | pl |
| thesis.degree.level | studia drugiego stopnia | pl |
| thesis.degree.name | magister inżynier | pl |
| thesis.identifier.dxp | 254104 | |
| thesis.statusORPD | ORPPD2_migrated |