Suche in der Hochschulbibliografie

Suche nach: Person = 'Meyer, Roland'

Treffer 11-18 von 18

Sortieren nach:

Alle Titel auf dieser Seite auswählen

Alle Titel exportieren:

Alle Details anzeigen

11
dedupmrg181072132949GBVUOB_ALMA21181331340003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21181331340003501
Buch
Berichte aus dem Department für Informatik der Fakultät 2 - Informatik, Wirtschafts- und Rechtswissenschaften: On depth and breadth in the pi-calculus
von Roland Meyer
2008
Details anzeigen
Beteiligte Personen (Uni Oldenburg): Meyer, Roland ([2005-2009])
Verlag: Oldenburg: Carl-von-Ossietzky-Univ., Dep. für Informatik
Umfang: 18, 6 S. graph. Darst..
Weitere Angaben:
Literaturverz. S. 17 - 18
Schlagwörter: ForschungsberichtPi-Kalkül
Übergeordnetes Werk: Berichte aus dem Department für Informatik der Fakultät 2 - Informatik, Wirtschafts- und Rechtswissenschaften
Verknüpfte Titel: Berichte aus dem Department für Informatik der Fakultät 2 - Informatik, Wirtschafts- und Rechtswissenschaften ; 2008, 1
Sprache: Englisch
12
49GBVUOB_ALMA7117480511000350149GBVUOB_ALMA71174805110003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA71174805110003501
Artikel
A practical approach to verification of mobile systems using net unfoldings
von Roland Meyer ; V. Khomenko ; Tim Strazny
2008
Details anzeigen
Beteiligte Personen (Uni Oldenburg): Meyer, Roland ([2005-2009])
Enthalten in: Applications and theory of Petri nets Berlin : Springer, 2008 (2008), Seite 327-347 XIII, 428 S.
Sprache: Englisch
13
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
14
49GBVUOB_ALMA2123673290000350149GBVUOB_ALMA21236732900003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21236732900003501
Artikel
A Petri net semantics for pi-calculus verification
von Roland Meyer
2007
Details anzeigen
Beteiligte Personen (Uni Oldenburg): Meyer, Roland ([2005-2009])
Enthalten in: Dagstuhl 'Zehn plus Eins' Aachen, 2007 S. 76 - 77
Sprache: Deutsch
>> Volltext
15
49GBVUOB_ALMA7141119958000350149GBVUOB_ALMA71411199580003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA71411199580003501
Artikel
Model checking using testing
von Roland Meyer
2006
Details anzeigen
Beteiligte Personen (Uni Oldenburg): Meyer, Roland ([2005-2009])
Enthalten in: Dependability engineering Berlin, 2006 S. 147 - 171
Sprache: Englisch
16
49GBVUOB_ALMA7141119891000350149GBVUOB_ALMA71411198910003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA71411198910003501
Artikel
Model checking the pi-calculus
von Roland Meyer
2006
Details anzeigen
Beteiligte Personen (Uni Oldenburg): Meyer, Roland ([2005-2009])
Enthalten in: Proceedings of the International Research Training Groups Workshop 2006 Berlin, 2006 S. 15
Sprache: Englisch
17
49GBVUOB_ALMA2123628098000350149GBVUOB_ALMA21236280980003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21236280980003501
Artikel
Model checking data-dependent real-time properties of the European Train Control System
von Johannes Faber ; Roland Meyer
2006
Details anzeigen
Beteiligte Personen (Uni Oldenburg): Meyer, Roland ([2005-2009])Faber, Johannes ([2004-])
Enthalten in: Formal methods in computer-aided design Los Alamitos, Calif., 2006 S. 76 - 77
Sprache: Englisch
>> Volltext
18
49GBVUOB_ALMA7141143268000350149GBVUOB_ALMA71411432680003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA71411432680003501
Artikel
Compositional semantics for UML 2.0 sequence diagrams using Petri nets
von Christoph Eichner ; Hans Fleischhack ; Roland Meyer ; Ulrik Schrimpf ; Christian Stehno
2005
Details anzeigen
Beteiligte Personen (Uni Oldenburg): Fleischhack, HansMeyer, Roland ([2005-2009])Stehno, Christian ([-2010])
Enthalten in: SDL 2005: model driven Berlin [u.a.], 2005 S. [133] - 148
Sprache: Englisch