Robert Karban: Unterschied zwischen den Versionen
Nachtrag zu +ISBN, +Sammelwerk, +Band, +Nummer
(+ISBN, +Sammelwerk, +Band, +Nummer) |
(Nachtrag zu +ISBN, +Sammelwerk, +Band, +Nummer) |
||
| Zeile 28: | Zeile 28: | ||
* mit Corrina Gibson, Luigi Andolfato, John Day: ''Formal Validation of Fault Management Design Solutions.'' In: ACM, 2014, {{DOI|10.1145/2557833.2560583}} | * mit Corrina Gibson, Luigi Andolfato, John Day: ''Formal Validation of Fault Management Design Solutions.'' In: ACM, 2014, {{DOI|10.1145/2557833.2560583}} | ||
* mit Jean-Francois Castet, Matthew L. Rozek, Michel D. Ingham, Nicolas F. Rouquette et al.: ''Ontology and Modeling Patterns for State-Based Behavior Representation.'' AIAA Infotec, 2015, {{DOI|10.2514/6.2015-1115}} | * mit Jean-Francois Castet, Matthew L. Rozek, Michel D. Ingham, Nicolas F. Rouquette et al.: ''Ontology and Modeling Patterns for State-Based Behavior Representation.'' AIAA Infotec, 2015, {{DOI|10.2514/6.2015-1115}} | ||
* mit Sebastian J. Herzig, Michel D. Ingham: | * mit Sebastian J. Herzig, Michel D. Ingham: {{Literatur |Autor=Robert Karban |Titel=Towards a Reference Architecture for Model-Based Engineering Environments |Hrsg=American Institute of Aeronautics and Astronautics |Sammelwerk=AIAA SPACE, 2016 |Datum=2016 |Sprache=en |ISBN=978-1-62410-427-5 |DOI=10.2514/6.2016-5468 |Typ=wl}} | ||
* mit Frank G. Dekens, Sebastian Herzig, Maged Elaasar, Nerijus Jankevičius: {{Literatur |Autor=Robert Karban |Titel=Creating system engineering products with executable models in a model-based engineering environment |Sammelwerk=Proceedings Volume 9911, Modeling, Systems Engineering, and Project Management for Astronomy VII |Verlag=SPIE Digital Library |Datum=2016 |DOI=10.1117/12.2232785 |Typ=wl}} | * mit Frank G. Dekens, Sebastian Herzig, Maged Elaasar, Nerijus Jankevičius: {{Literatur |Autor=Robert Karban |Titel=Creating system engineering products with executable models in a model-based engineering environment |Sammelwerk=Proceedings Volume 9911, Modeling, Systems Engineering, and Project Management for Astronomy VII |Verlag=SPIE Digital Library |Datum=2016 |DOI=10.1117/12.2232785 |Typ=wl}} | ||
* mit Nerijus Jankevičius, Maged Elaasar: {{Literatur |Autor=Robert Karban |Titel=ESEM: Automated System Analysis using Executable SysML Modeling Patterns |Sammelwerk=INCOSE International Symposium |Band=16 |Nummer=1 |Datum=2016 |Sprache=en |DOI=10.1002/j.2334-5837.2016.00142.x |Typ=wl}} | * mit Nerijus Jankevičius, Maged Elaasar: {{Literatur |Autor=Robert Karban |Titel=ESEM: Automated System Analysis using Executable SysML Modeling Patterns |Sammelwerk=INCOSE International Symposium |Band=16 |Nummer=1 |Datum=2016 |Sprache=en |DOI=10.1002/j.2334-5837.2016.00142.x |Typ=wl}} | ||