Suche in der Hochschulbibliografie

Suche nach: Person = 'Klose, Jochen'

Treffer 1-10 von 17

Sortieren nach:

Alle Titel auf dieser Seite auswählen

Alle Titel exportieren:

Alle Details anzeigen

1
49GBVUOB_ALMA2123689161000350149GBVUOB_ALMA21236891610003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21236891610003501
Artikel
Check it out : on the efficient formal verification of live charts
von Jochen Klose ; Tobe Toben ; Bernd Westphal ; Hartmut Wittke
2006
Details anzeigen
Beteiligte Personen (Uni Oldenburg): Toben, Tobe ([2004-])Westphal, BerndWittke, Hartmut ([1996-2006])Klose, Jochen ([1998-2006])
Enthalten in: Computer aided verification Berlin [u.a.], 2006 S. 219 - 233
Sprache: Englisch
2
49GBVUOB_ALMA2123637425000350149GBVUOB_ALMA21236374250003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21236374250003501
Artikel
Formal verification of LSC's in the development process
von Matthias Brill ; Ralf Buchermöhle ; Werner Damm ; Jochen Klose ; Bernd Westphal ; Hartmut Wittke
2004
Details anzeigen
Beteiligte Personen (Uni Oldenburg): Damm, WernerKlose, Jochen ([1998-2006])Westphal, BerndWittke, Hartmut ([1996-2006])Brill, Matthias
Enthalten in: Integration of software specification techniques for applications in engineering Berlin [u.a.], 2004 S. 494 - 516
Sprache: Englisch
>> Volltext
3
49GBVUOB_ALMA2123637013000350149GBVUOB_ALMA21236370130003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21236370130003501
Artikel
Live sequence charts
von Matthias Brill ; Werner Damm ; Jochen Klose ; Bernd Westphal ; Hartmut Wittke
2004
Details anzeigen
Beteiligte Personen (Uni Oldenburg): Damm, WernerKlose, Jochen ([1998-2006])Westphal, BerndWittke, Hartmut ([1996-2006])Brill, Matthias
Enthalten in: Integration of software specification techniques for applications in engineering Berlin [u.a.], 2004 S. 374 - 399
Sprache: Englisch
4
49GBVUOB_ALMA2123674966000350149GBVUOB_ALMA21236749660003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21236749660003501
Artikel
Verification of a radio-based signaling system using scenarios
von Jochen Klose ; Bernd Westphal
2003
Details anzeigen
Beteiligte Personen (Uni Oldenburg): Westphal, BerndKlose, Jochen ([1998-2006])
Enthalten in: International Workshop on Software Specification of Safety Relevant Transportation Control Tasks Düsseldorf, 2003 S. 49 - 62
Sprache: Englisch
>> Volltext
5
dedupmrg142670605449GBVUOB_ALMA21179587350003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21179587350003501
Buch
Berichte aus dem Fachbereich Informatik: Live sequence charts : a graphical formalism for the specification of communication behavior
von Jochen Klose
2003
Details anzeigen
Beteiligte Personen (Uni Oldenburg): Klose, Jochen ([1998-2006])
Verlag: Oldenburg: Carl-von-Ossietzky-Univ.
Umfang: VIII, 407, 4 S Ill., graph. Darst.
Weitere Angaben:
Literaturverz. S. 393 - 407 ; Zugl.: Oldenburg, Univ., Diss., 2003
Schlagwörter: Hochschulschrift; ForschungsberichtKommunikationssystemSpezifikationsspracheSoftwarespezifikationBeschreibungsspracheEntwurfssprache
Beschreibung:
Zsfassung in dt. und engl. Sprache
Übergeordnetes Werk: Berichte aus dem Fachbereich Informatik
Verknüpfte Titel: Berichte aus dem Fachbereich Informatik ; 2003, 8
Sprache: Englisch
6
49GBVUOB_ALMA2123664813000350149GBVUOB_ALMA21236648130003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21236648130003501
Artikel
Relating LSC specifications to UML models
von Jochen Klose ; Bernd Westphal
2002
Details anzeigen
Beteiligte Personen (Uni Oldenburg): Westphal, BerndKlose, Jochen ([1998-2006])
Enthalten in: Integration of software specification techniques (INT'02) Berlin, 2002 S. 130 - [137]
Sprache: Englisch
>> Volltext
7
49GBVUOB_ALMA2123656880000350149GBVUOB_ALMA21236568800003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21236568800003501
Artikel
A visual approach to validating system level designs
von Jochen Klose ; Thomas Kropf ; Jürgen Ruf
2002
Details anzeigen
Beteiligte Personen (Uni Oldenburg): Klose, Jochen ([1998-2006])
Enthalten in: Proceedings of the 15th International Symposium on System Synthesis Kyoto, 2002 [6] S. <6>
Sprache: Englisch
>> Volltext
8
49GBVUOB_ALMA2123657037000350149GBVUOB_ALMA21236570370003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21236570370003501
Artikel
Modeling and validation train system applications using statemate and live sequence charts : submission to session on \"Integration of modeling techniques for train control systems\"
von Jürgen Bohn ; Werner Damm ; Hartmut Wittke ; Jochen Klose ; Adam Moik
2002
Details anzeigen
Beteiligte Personen (Uni Oldenburg): Damm, WernerWittke, Hartmut ([1996-2006])Klose, Jochen ([1998-2006])Bohn, Jürgen ([1993-2002])
Enthalten in: Integrated design and process technology 2002 [9] Bl.
Sprache: Englisch
>> Volltext
9
49GBVUOB_ALMA2123655334000350149GBVUOB_ALMA21236553340003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21236553340003501
Artikel
An automata based representation of live sequence charts
von Jochen Klose ; Hartmut Wittke
2001
Details anzeigen
Beteiligte Personen (Uni Oldenburg): Wittke, Hartmut ([1996-2006])Klose, Jochen ([1998-2006])
Enthalten in: Tools and algorithms for the conctruction and analysis of systems / Lecture notes in computer science ; 2031 Berlin [u.a.], 2001 S. 512 - 527
Sprache: Englisch
>> Volltext
10
49GBVUOB_ALMA2123655465000350149GBVUOB_ALMA21236554650003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21236554650003501
Artikel
Scenario-based monitoring and testing of real-time UML models
von Jochen Klose ; Marc Lettrari
2001
Details anzeigen
Beteiligte Personen (Uni Oldenburg): Lettrari, Marc ([2000-2005])Klose, Jochen ([1998-2006])
Enthalten in: The unified modeling language Berlin [u.a.], 2001 S. 317 - 328
Sprache: Englisch