Suche in der Hochschulbibliografie

Treffer 11-13 von 13

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_ALMA2123618978000350149GBVUOB_ALMA21236189780003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21236189780003501
  Artikel
  Symbolic decision procedures for robustness analysis of timed systems

  von Mani Swaminathan

  2007

  Details anzeigen

  Beteiligte Personen (Uni Oldenburg): Swaminathan, Mani ([2005-])

  Enthalten in: Dagstuhl Zehn plus Eins Aachen, 2007 S. 85

  Sprache: Englisch

  >> Volltext
• 12
  49GBVUOB_ALMA2123681600000350149GBVUOB_ALMA21236816000003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21236816000003501
  Artikel
  A symbolic decision procedure for robust safety of timed systems

  von Mani Swaminathan ; Martin Fränzle

  2007

  Details anzeigen

  Beteiligte Personen (Uni Oldenburg): Fränzle, Martin ([1998-])Swaminathan, Mani ([2005-])

  Enthalten in: 14th International Symposium on Temporal Representation Los Alamitos, Calif., 2007 S. 192

  Sprache: Englisch

  >> Volltext
• 13
  49GBVUOB_ALMA2123669310000350149GBVUOB_ALMA21236693100003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21236693100003501
  Artikel
  Automatic and scalable verification of robust real-time systems

  von Martin Fränzle ; Mani Swaminathan

  2005

  Details anzeigen

  Beteiligte Personen (Uni Oldenburg): Swaminathan, Mani ([2005-])Fränzle, Martin ([1998-])

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

  Sprache: Englisch