Suche in der Hochschulbibliografie
Fakultät / Sonst. Einrichtungen
Keine Eingrenzung
Fakultät I - Bildungs- und Sozialwissenschaften
Fakultät II - Informatik, Wirtschafts- und Rechtswissenschaften
Fakultät III - Sprach- und Kulturwissenschaften
Fakultät IV - Human- und Gesellschaftswissenschaften
Fakultät V - Mathematik und Naturwissenschaften
Fakultät VI - Medizin und Gesundheitswissenschaften
Sonstige Einrichtungen
Institut / Einrichtungen
Keine Eingrenzung
Fach / AG / Einrichtung
Keine Eingrenzung
Jahr
Titel
Person
Suchen
Suche nach:
Person = '
Klose, Jochen
'
Treffer 11-17 von 17
Sortieren nach:
Jahr
Titel
Verfasser/in
Seite 2 von 2
Alle Titel auf dieser Seite auswählen
Ausgewählte Titel exportieren
Alle Titel exportieren
:
[ Export-Format auswählen ]
EndNote Web
EndNote
RIS
BibTeX
MS Excel
COinS
OK
Alle Details anzeigen
Ergebnisse eingrenzen
nach Schlagwort:
Kommunikationssystem (1)
Spezifikationssprache (1)
nach Person:
Bienmüller, Tom (2)
Bohn, Jürgen (1)
Brill, Matthias (2)
Brockmeyer, Udo (1)
Buchermöhle, Ralf (1)
Damm, Werner (7)
Döhmen, Gert (1)
Klose, Jochen (17)
Kropf, Thomas (1)
Lettrari, Marc (2)
Moik, Adam (2)
Ruf, Jürgen (1)
Toben, Tobe (1)
Westphal, Bernd (5)
Wittke, Hartmut (7)
nach Medientyp:
Artikel (16)
Bücher (1)
11
49GBVUOB_ALMA21236566790003501
49GBVUOB_ALMA21236566790003501
//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21236566790003501
Artikel
Verification of a radio-based signaling system using the statemate verification environment
von
Werner Damm ; Jochen Klose
2001
Details anzeigen
Beteiligte Personen (Uni Oldenburg):
Klose, Jochen ([1998-2006])
Damm, Werner
Enthalten in:
Formal methods in system design 19 (2001), 2, S. 121 - 141
Sprache:
Englisch
12
49GBVUOB_ALMA21236574870003501
49GBVUOB_ALMA21236574870003501
//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21236574870003501
Artikel
Tool demonstration proposal : UML validation suite
von
Marc Lettrari ; Jochen Klose ; Udo Brockmeyer
2001
Details anzeigen
Beteiligte Personen (Uni Oldenburg):
Klose, Jochen ([1998-2006])
Brockmeyer, Udo ([1995-2001])
Lettrari, Marc ([2000-2005])
Enthalten in:
Formal approaches to testing of software Aarhus, 2001 [5] S. <5>
Sprache:
Englisch
>> Volltext
13
49GBVUOB_ALMA21236776890003501
49GBVUOB_ALMA21236776890003501
//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21236776890003501
Artikel
Formale Analyse und Verifikation on Statemate Entwürfen
von
Tom Bienmüller ; Werner Damm ; Jochen Klose ; Hartmut Wittke
2001
Details anzeigen
Beteiligte Personen (Uni Oldenburg):
Damm, Werner
Klose, Jochen ([1998-2006])
Wittke, Hartmut ([1996-2006])
Bienmüller, Tom ([1997-2003])
Enthalten in:
Informationstechnik und technische Informatik 43 (2001), 1 <1>
Sprache:
Deutsch
14
49GBVUOB_ALMA21236561630003501
49GBVUOB_ALMA21236561630003501
//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21236561630003501
Artikel
Formale Anaylse und Verifikation von Statemate Entwürfen
von
Tom Bienmüller ; Werner Damm ; Jochen Klose ; Hartmut Wittke
2001
Details anzeigen
Beteiligte Personen (Uni Oldenburg):
Damm, Werner
Klose, Jochen ([1998-2006])
Wittke, Hartmut ([1996-2006])
Bienmüller, Tom ([1997-2003])
Enthalten in:
Informationstechnik und technische Informatik 43 (2001), 1, S. 29
Sprache:
Deutsch
15
49GBVUOB_ALMA21236462400003501
49GBVUOB_ALMA21236462400003501
//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21236462400003501
Artikel
Modellierung der Forms-Fallstudien mit Statemate
von
Jochen Klose ; Adam Moik
2000
Details anzeigen
Beteiligte Personen (Uni Oldenburg):
Klose, Jochen ([1998-2006])
Enthalten in:
Forms 2000 - Formale Techniken für die Eisenbahnsicherung Düsseldorf, 2000 S. 125 - 172
Sprache:
Deutsch
>> Volltext
16
49GBVUOB_ALMA21236430690003501
49GBVUOB_ALMA21236430690003501
//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21236430690003501
Artikel
Erweiterte Message Sequence Charts für die Verifikation von Statemate-Entwürfen
von
Jochen Klose
1999
Details anzeigen
Beteiligte Personen (Uni Oldenburg):
Klose, Jochen ([1998-2006])
Enthalten in:
Informatik '99 Berlin [u.a.], 1999 S. 181 - 189
Sprache:
Deutsch
>> Volltext
17
49GBVUOB_ALMA21236465300003501
49GBVUOB_ALMA21236465300003501
//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21236465300003501
Artikel
Secure decentralized control of railway crossings
von
Werner Damm ; Gert Döhmen ; Jochen Klose
1999
Details anzeigen
Beteiligte Personen (Uni Oldenburg):
Döhmen, Gert ([1987-1999])
Klose, Jochen ([1998-2006])
Damm, Werner
Enthalten in:
Fourth International ERCIM Workshop on Formal Methods in Industrial Critical Systems 1999 S. 115 - 132
Sprache:
Englisch
>> Volltext
Seite 2 von 2
Seite 2 von 2
