Suche in der Hochschulbibliografie

Treffer 11-18 von 18

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_ALMA2123619077000350149GBVUOB_ALMA21236190770003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21236190770003501
  Artikel
  Differential logic for hybrid system verification : reasoning about interacting discrete and continuous change

  von André Platzer

  2007

  Details anzeigen

  Beteiligte Personen (Uni Oldenburg): Platzer, André ([2004-2009])

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

  Sprache: Englisch

  >> Volltext
• 12
  49GBVUOB_ALMA2123675577000350149GBVUOB_ALMA21236755770003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21236755770003501
  Artikel
  Differential dynamic logic for verifying parametric hybrid systems

  von André Platzer

  2007

  Details anzeigen

  Beteiligte Personen (Uni Oldenburg): Platzer, André ([2004-2009])

  Enthalten in: Automated reasoning with analytic tableaux and related methods Berlin [u.a.], 2007 S. 216 - 232

  Sprache: Englisch

  >> Volltext
• 13
  49GBVUOB_ALMA2123677763000350149GBVUOB_ALMA21236777630003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21236777630003501
  Artikel
  Towards a hybrid dynamic logic for hybrid dynamic systems

  von André Platzer

  2007

  Details anzeigen

  Beteiligte Personen (Uni Oldenburg): Platzer, André ([2004-2009])

  Enthalten in: Electronic notes in theoretical computer science 174 (2007), 6, S. 63 - 77

  Sprache: Englisch

  >> Volltext
• 14
  49GBVUOB_ALMA7141148001000350149GBVUOB_ALMA71411480010003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA71411480010003501
  Artikel
  Differential logic for reasoning about hybrid systems

  von André Platzer

  2007

  Details anzeigen

  Beteiligte Personen (Uni Oldenburg): Platzer, André ([2004-2009])

  Enthalten in: Hybrid systems: computation and control Berlin [u.a.], 2007 S. 746 - 749

  Sprache: Englisch
• 15
  49GBVUOB_ALMA2123677424000350149GBVUOB_ALMA21236774240003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21236774240003501
  Artikel
  SAT-based abstraction refinement for real-time systems

  von Stephanie Kemper ; André Platzer

  2007

  Details anzeigen

  Beteiligte Personen (Uni Oldenburg): Platzer, André ([2004-2009])

  Enthalten in: Electronic notes in theoretical computer science 182 (2007), S. 107 - 122

  Sprache: Englisch

  >> Volltext
• 16
  49GBVUOB_ALMA7141148003000350149GBVUOB_ALMA71411480030003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA71411480030003501
  Artikel
  The imgage computation problem in hybrid systems model checking

  von André Platzer ; Edmund M. Clarke

  2007

  Details anzeigen

  Beteiligte Personen (Uni Oldenburg): Platzer, André ([2004-2009])

  Enthalten in: Hybrid systems: computation and control Berlin [u.a.], 2007 S. 473 - 486

  Sprache: Englisch
• 17
  49GBVUOB_ALMA7141142942000350149GBVUOB_ALMA71411429420003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA71411429420003501
  Artikel
  Automating verification of cooperation, control, and design in traffic applications

  von Werner Damm ; Alfred Mikschl ; Jens Oehlerking ; Ernst-Rüdiger Olderog ; Jun Pang ; André Platzer ; Marc Segelken ; Boris Wirtz

  2007

  Details anzeigen

  Beteiligte Personen (Uni Oldenburg): Mikschl, AlfredOehlerking, JensOlderog, Ernst-RüdigerPang, JunPlatzer, André ([2004-2009])Segelken, Marc ([1999-2008])Wirtz, BorisDamm, Werner

  Enthalten in: Formal methods and hybrid real-time systems Berlin [u.a.], 2007 S. 115 - 169

  Notation: inf 001 k

  Sprache: Englisch
• 18
  49GBVUOB_ALMA2123627259000350149GBVUOB_ALMA21236272590003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21236272590003501
  Artikel
  Dynamic logic with non-rigid functions : a basis for object-oriented program verification

  von Bernhard Beckert ; André Platzer

  2006

  Details anzeigen

  Beteiligte Personen (Uni Oldenburg): Platzer, André ([2004-2009])

  Enthalten in: Automated reasoning Berlin [u.a.], 2006 S. 266 - 280

  Sprache: Englisch

  >> Volltext