Suche in der Hochschulbibliografie

Treffer 11-16 von 16

Sortieren nach: JahrTitelVerfasser/in

• 
• 
Seite 2 von 2

Alle Titel auf dieser Seite auswählen

Ausgewählte Titel exportierenAlle Titel exportieren: [ Export-Format auswählen ]EndNote WebEndNoteRISBibTeXMS ExcelCOinSOK

• 11
  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
• 12
  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
• 13
  49GBVUOB_ALMA2123628276000350149GBVUOB_ALMA21236282760003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21236282760003501
  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
• 14
  49GBVUOB_ALMA2123628007000350149GBVUOB_ALMA21236280070003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21236280070003501
  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
• 15
  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
• 16
  49GBVUOB_ALMA2123671690000350149GBVUOB_ALMA21236716900003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21236716900003501
  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