Suche in der Hochschulbibliografie

Suche nach: Person = 'Hoenicke, Jochen'

Treffer 1-7 von 7

Sortieren nach:

Alle Titel auf dieser Seite auswählen

Alle Titel exportieren:

Alle Details anzeigen

1
49GBVUOB_ALMA2116167263000350149GBVUOB_ALMA21161672630003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21161672630003501
Artikel
Fairness for dynamic control
von Jochen Hoenicke ; Ernst-Rüdiger Olderog ; Andreas Podelski
2010
Details anzeigen
Beteiligte Personen (Uni Oldenburg): Olderog, Ernst-RüdigerHoenicke, Jochen ([-2006])
Weitere Angaben:
Auch als elektronisches Dokument verfügbar: http://www.springerlink.com/content/v34814r25t810827/fulltext.pdf
Enthalten in: Tools and algorithms for the construction and analysis of systems Berlin : Springer, 2010 (2010), Seite 251-265 XVI, 468 S.
Sprache: Englisch
2
49GBVUOB_ALMA2115423688000350149GBVUOB_ALMA21154236880003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21154236880003501
Artikel
Kleene, Rabin, and Scott are available
von Jochen Hoenicke ; Roland Meyer ; Ernst-Rüdiger Olderog
2010
Details anzeigen
Beteiligte Personen (Uni Oldenburg): Meyer, Roland ([2005-2009])Olderog, Ernst-RüdigerHoenicke, Jochen ([-2006])
Weitere Angaben:
Auch als elektronisches Dokument verfügbar: http://www.springerlink.com/content/gq497lr282t22064/fulltext.pdf
Enthalten in: CONCUR 2010 - concurrency theory Berlin : Springer, 2010 (2010), Seite 462-477 XIII, 600 S.
Sprache: Englisch
3
49GBVUOB_ALMA7115644756000350149GBVUOB_ALMA71156447560003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA71156447560003501
Artikel
Model checking duration calculus : a practical approach
von Roland Meyer ; Johannes Faber ; Jochen Hoenicke
2008
Details anzeigen
Beteiligte Personen (Uni Oldenburg): Meyer, Roland ([2005-2009])
Enthalten in: Formal aspects of computing London : Springer, 1989 20(2008), 4/5, Seite 481-505
Sprache: Englisch
4
dedupmrg6019733649GBVUOB_ALMA21156046590003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21156046590003501
Buch
Berichte aus dem Department für Informatik der Fakultät II - Informatik, Wirtschafts- und Rechtswissenschaften: Combination of processes, data, and time
von Jochen Hoenicke
2006
Details anzeigen
Beteiligte Personen (Uni Oldenburg): Hoenicke, Jochen ([-2006])
Verlag: Oldenburg: Carl-von-Ossietzky-Univ., Dept. für Informatik
Umfang: XVI, 203 S. graph. Darst..
Weitere Angaben:
Zugl.: Oldenburg, Univ., Diss., 2006
Schlagwörter: Hochschulschrift; ForschungsberichtSicherheitskritisches SystemModel CheckingVerifikationSystemKritische Informationsinfrastruktur
Übergeordnetes Werk: Berichte aus dem Department für Informatik der Fakultät II - Informatik, Wirtschafts- und Rechtswissenschaften
Verknüpfte Titel: Berichte aus dem Department für Informatik der Fakultät II - Informatik, Wirtschafts- und Rechtswissenschaften ; 2006, 9
Sprache: eng;ger
5
49GBVUOB_ALMA2123670838000350149GBVUOB_ALMA21236708380003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21236708380003501
Artikel
Model-checking of specifications integrating processes, data and time
von Jochen Hoenicke ; Patrick Maier
2005
Details anzeigen
Beteiligte Personen (Uni Oldenburg): Hoenicke, Jochen ([-2006])
Enthalten in: AVACS technical report 5 (2005), S. 1 - 28
Sprache: Englisch
>> Volltext
6
49GBVUOB_ALMA2123699448000350149GBVUOB_ALMA21236994480003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21236994480003501
Artikel
Combining specification techniques for processes, data and time
von Jochen Hoenicke ; Ernst-Rüdiger Olderog
2002
Details anzeigen
Beteiligte Personen (Uni Oldenburg): Olderog, Ernst-RüdigerHoenicke, Jochen ([-2006])
Enthalten in: Integrated formal methods Berlin [u.a.], 2002 S. 245 - 266
Sprache: Englisch
>> Volltext
7
49GBVUOB_ALMA2123667075000350149GBVUOB_ALMA21236670750003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21236670750003501
Artikel
CSP-OZ-DC : a combination of specification techniques for processes, data and time
von Jochen Hoenicke ; Ernst-Rüdiger Olderog
2002
Details anzeigen
Beteiligte Personen (Uni Oldenburg): Olderog, Ernst-RüdigerHoenicke, Jochen ([-2006])
Enthalten in: Nordic journal of computing 9 (2002), S. 301 - 334
Sprache: Deutsch
>> Volltext