Suche in der Hochschulbibliografie

Treffer 11-12 von 12

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_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
• 12
  49GBVUOB_ALMA2123669511000350149GBVUOB_ALMA21236695110003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21236695110003501
  Artikel
  Verifying real-time aspects of the European Train Control System

  von Johannes Faber

  2005

  Details anzeigen

  Beteiligte Personen (Uni Oldenburg): Faber, Johannes ([2004-])

  Enthalten in: Proceedings of the 17th Nordic Workshop on Programming Theory 2005 S. 67 - 70

  Sprache: Englisch

  >> Volltext