Suche in der Hochschulbibliografie

Suche nach: Person = 'Jost, Henning'

Treffer 1-9 von 9

Sortieren nach:

Alle Titel auf dieser Seite auswählen

Alle Titel exportieren:

Alle Details anzeigen

1
49GBVUOB_ALMA2116663884000350149GBVUOB_ALMA21166638840003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21166638840003501
Buch
Reasoning on domain knowledge and technical standards to support the development of safety-critical automotive systems
von Henning Jost
1. Aufl., 2012
Details anzeigen
ISBN: 38439057039783843905701
Gutachter: Werner Damm; Frank Köster
Beteiligte Personen (Uni Oldenburg): Jost, Henning ([2006-])
Verlag: München: Verl. Dr. Hut
Umfang: V, 288 S. Ill., graph. Darst. 278 mm x 198 mm, 723 g.
Weitere Angaben:
Zsfassung in dt. Sprache ; Zugl.: Oldenburg, Univ., Diss., 2012
Schlagwörter: Hochschulschrift
Notation: inf 910inf 824
Sprache: Englisch
2
49GBVUOB_ALMA7117368395000350149GBVUOB_ALMA71173683950003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA71173683950003501
Artikel
Towards a safer development of driver assistance systems by applying requirements-based methods
von Henning Jost ; Silke Köhler ; Frank Köster
2011
Details anzeigen
Beteiligte Personen (Uni Oldenburg): Jost, Henning ([2006-])
Enthalten in: 2011 14th International IEEE Conference on Intelligent Transportation Systems (ITSC 2011) ; 2 Piscataway, NJ : IEEE, 2011 (2011), Seite 1144-1149 S. 746 - 1500
Sprache: Englisch
3
49GBVUOB_ALMA2116194007000350149GBVUOB_ALMA21161940070003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21161940070003501
Artikel
The DeSCAS methodology and lessons learned on applying formal reasoning to safety domain knowledge
von Jan Gacnik ; Henning Jost ; Frank Köster ; Martin Fränzle
2011
Details anzeigen
Beteiligte Personen (Uni Oldenburg): Jost, Henning ([2006-])Köster, Frank ([2016-])Fränzle, Martin ([1998-])
Umfang: 8.
Enthalten in: Formal methods for automation and safety in railway and automotive systems Heidelberg [u.a.] : Springer, 2011 (2011) XI, 256 S.
Sprache: Englisch
4
49GBVUOB_ALMA2115326273000350149GBVUOB_ALMA21153262730003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21153262730003501
Artikel
Automating the risk and hazard analysis via generic domain concepts in formal ontologies
von Henning Jost
2010
Details anzeigen
Beteiligte Personen (Uni Oldenburg): Jost, Henning ([2006-])
Umfang: 8.
Enthalten in: Final programme and book of abstracts [Rhodes], 2010 (2010) 256 S
Sprache: Englisch
5
49GBVUOB_ALMA2117589472000350149GBVUOB_ALMA21175894720003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21175894720003501
Artikel
Supporting qualification: Safety standard compliant process planning and monitoring
von Henning Jost ; Axel Hahn ; Stefan Häusler ; Silke Köhler ; Jan Gacnik ; Frank Köster ; Karsten Lemmer
2010
Details anzeigen
Beteiligte Personen (Uni Oldenburg): Hahn, Axel ([2002-])Häusler, Stefan ([2006-])Köster, Frank ([2016-])Jost, Henning ([2006-])
Umfang: 6.
Enthalten in: 2010 IEEE Symposium on Product Compliance Engineering (ISPCE 2010) Piscataway, NJ : IEEE, 2010 (2010) XV, 88 S.
Sprache: Englisch
6
49GBVUOB_ALMA7115355587000350149GBVUOB_ALMA71153555870003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA71153555870003501
Artikel
DeSCAS design process model for automotive systems
von Jan Gačnik ; Henning Jost ; Daniel Beisel
2009
Details anzeigen
Enthalten in: Safety-critical systems: problems, process and practice London : Springer, 2009 (2009), Seite 10 X, 243 S.
Sprache: Englisch
7
49GBVUOB_ALMA2118332944000350149GBVUOB_ALMA21183329440003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21183329440003501
Artikel
DeSCAS - formale Ontologien zur Verwebung von interdisziplinären Entwicklungsprozessen : ein Prozessmodell für die Entwicklung sicherheitskritischer Fahrerassistenzsysteme im Automobilbereich
von Jan Gačnik ; Henning Jost ; Frank Köster ; J. Rataj ; K. Lemmer ; Werner Damm ; Martin Fränzle ; E. Schnieder
2009
Details anzeigen
Beteiligte Personen (Uni Oldenburg): Jost, Henning ([2006-])Köster, Frank ([2016-])Damm, WernerFränzle, Martin ([1998-])
Umfang: 4.
Enthalten in: Automation 2009 Nichtred. Manuskriptdr. Düsseldorf : VDI-Verl., 2009 2009, insges. 4 S. 484 S.
Sprache: Deutsch
8
49GBVUOB_ALMA2117201681000350149GBVUOB_ALMA21172016810003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21172016810003501
Artikel
DeSCAS - Design process for the development of safety-critical advanced driver assistance systems
von Jan Gačnik ; Henning Jost ; Daniel Beisel ; Frank Köster
2008
Details anzeigen
Beteiligte Personen (Uni Oldenburg): Jost, Henning ([2006-])Köster, Frank ([2016-])
Enthalten in: Formal methods for automation and safety in railway and automotive systems ; proceedings of Symposium FORMS/FORMAT 2008, Budapest, Hungary, October 9 - 10, 2008 Budapest : L'Harmattan, 2008 (2008), Seite 103-110 IX, 329 S.
Sprache: Englisch
9
49GBVUOB_ALMA2123657569000350149GBVUOB_ALMA21236575690003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21236575690003501
Artikel
Architekturbeschreibung
von Jan Behrens ; Simon Giesecke ; Jasminka Matevska-Meyer ; Henning Jost ; Ulf Schreier
2006
Details anzeigen
Beteiligte Personen (Uni Oldenburg): Giesecke, Simon ([2004-2008])Matevska-Meyer, Jasminka ([2001-])Jost, Henning ([2006-])
Enthalten in: Handbuch der Software-Architektur Heidelberg, 2006 S. 35 - 64
Notation: inf 320
Sprache: Deutsch