Robert Karban: Unterschied zwischen den Versionen
K
Formatierung (WP:ZR#Allgemeine Regeln), Angaben ergänzt
K (Formatierung (WP:ZR#Allgemeine Regeln). BK behoben) |
K (Formatierung (WP:ZR#Allgemeine Regeln), Angaben ergänzt) |
||
| Zeile 27: | Zeile 27: | ||
* {{Literatur |Autor=Robert Karban |Titel=Towards a Model-Based Product Development Process from Early Concepts to Engineering Implementation |Hrsg= |Sammelwerk=IEEE Explore |Datum=2022 |Sprache=en |ISBN=978-1-6654-9032-0 |Seiten= |Spalten= |ArtikelNr= |Fundstelle= |ISSN=1095-323X |DOI=10.1109/AERO55745.2023.10115550 |Typ=wl}} | * {{Literatur |Autor=Robert Karban |Titel=Towards a Model-Based Product Development Process from Early Concepts to Engineering Implementation |Hrsg= |Sammelwerk=IEEE Explore |Datum=2022 |Sprache=en |ISBN=978-1-6654-9032-0 |Seiten= |Spalten= |ArtikelNr= |Fundstelle= |ISSN=1095-323X |DOI=10.1109/AERO55745.2023.10115550 |Typ=wl}} | ||
* {{Literatur |Autor=Robert Karban |Titel=A Model-Based Approach for Europa Lander Mission Concept Exploration |Hrsg= |Sammelwerk=2022 IEEE Aerospace Conference (AERO) |Ort=Big Sky, MT |Datum=2022 |Sprache=en |ISSN=1095-323X |DOI=10.1109/AERO53065.2022.9843241 |Typ=wl}} | * {{Literatur |Autor=Robert Karban |Titel=A Model-Based Approach for Europa Lander Mission Concept Exploration |Hrsg= |Sammelwerk=2022 IEEE Aerospace Conference (AERO) |Ort=Big Sky, MT |Datum=2022 |Sprache=en |ISSN=1095-323X |DOI=10.1109/AERO53065.2022.9843241 |Typ=wl}} | ||
* {{Literatur |Autor=Robert Karban |Titel=Goal oriented architecture for telescope control software |Sammelwerk=Proc. SPIE 11452, Software and Cyberinfrastructure for Astronomy VI |Datum=2020 |Sprache=en |DOI=10.1117/12.2575434 |Typ=wl}} | * {{Literatur |Autor=Robert Karban |Titel=Goal oriented architecture for telescope control software |Sammelwerk=Proc. SPIE 11452, Software and Cyberinfrastructure for Astronomy VI |Verlag=SPIE Digital Library |Datum=2020 |Sprache=en |DOI=10.1117/12.2575434 |Typ=wl}} | ||
* {{Literatur |Autor=Robert Karban |Titel=Model checking as a service: towards pragmatic hidden formal methods |Sammelwerk=MODELS '20: Proceedings of the 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings |Datum=2020-10 |Sprache=en |DOI=10.1145/3417990.3421407 |Typ=wl}} | * {{Literatur |Autor=Robert Karban |Titel=Model checking as a service: towards pragmatic hidden formal methods |Sammelwerk=MODELS '20: Proceedings of the 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings |Nummer=Artikel Nr. 37 |Verlag=ACM Digital Library |Datum=2020-10 |Sprache=en |DOI=10.1145/3417990.3421407 |Typ=wl}} | ||
* | * {{Literatur |Autor=Robert Karban |Titel=Assisted Authoring of Model-Based Systems Engineering Documents |Sammelwerk=MODELS '20: Proceedings of the 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings |Nummer=Artikel Nr. 36 |Verlag=ACM Digital Library |Datum=2020-10 |Sprache=en |DOI=10.1145/3417990.3421406 |Typ=wl}} | ||
* | * {{Literatur |Autor=Robert Karban |Titel=The OpenSE Cookbook: a practical, recipe based collection of patterns, procedures, and best practices for executable systems engineering for the Thirty Meter Telescope |Sammelwerk=Proceedings Volume 10705, Modeling, Systems Engineering, and Project Management for Astronomy VIII |Verlag=SPIE Digital Library |Datum=2018 |Sprache=en |DOI=10.1117/12.2312281 |Typ=wl}} | ||
* "Analyzing the operational behavior of the alignment and phasing system of the thirty meter telescope using SysML", (AOELT 2017) | * "Analyzing the operational behavior of the alignment and phasing system of the thirty meter telescope using SysML", (AOELT 2017) | ||
* "Towards a Reference Architecture for Model-Based Engineering Environments", (AIAA SPACE, 2016), [[DOI:10.2514/6.2016-5468]] | * "Towards a Reference Architecture for Model-Based Engineering Environments", (AIAA SPACE, 2016), [[DOI:10.2514/6.2016-5468]] | ||