Suche in der Hochschulbibliografie

Suche nach: Person = 'Stehno, Christian'

Treffer 11-17 von 17

Sortieren nach:

Alle Titel auf dieser Seite auswählen

Alle Titel exportieren:

Alle Details anzeigen

11
49GBVUOB_ALMA2123695090000350149GBVUOB_ALMA21236950900003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21236950900003501
Artikel
Real-time systems design with PEP
von Christian Stehno
2002
Details anzeigen
Beteiligte Personen (Uni Oldenburg): Stehno, Christian ([-2010])
Enthalten in: Tools and algorithms for the construction and analysis of systems Berlin [u.a.], 2002 S. 476 - 480
Sprache: Englisch
12
49GBVUOB_ALMA2123696564000350149GBVUOB_ALMA21236965640003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21236965640003501
Artikel
System specification and verification using high level concepts : a tool demonstration
von Christian Stehno
2002
Details anzeigen
Beteiligte Personen (Uni Oldenburg): Stehno, Christian ([-2010])
Enthalten in: Model checking software Berlin [u.a.], 2002 S. [246 - 249]
Sprache: Englisch
>> Volltext
13
49GBVUOB_ALMA2123695360000350149GBVUOB_ALMA21236953600003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21236953600003501
Artikel
Überprüfung von Steuersystemen mit PEP
von Eike Best ; Christian Stehno
2002
Details anzeigen
Beteiligte Personen (Uni Oldenburg): Stehno, Christian ([-2010])Best, Eike
Enthalten in: Informationstechnologie an niedersächsischen Hochschulen 2002 S. 40 - 41
Sprache: Deutsch
>> Volltext
14
49GBVUOB_ALMA2123638369000350149GBVUOB_ALMA21236383690003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21236383690003501
Artikel
Computing a finite prefix of a time Petri net
von Hans Fleischhack ; Christian Stehno
2002
Details anzeigen
Beteiligte Personen (Uni Oldenburg): Stehno, Christian ([-2010])Fleischhack, Hans
Enthalten in: Application and theory of Petri nets 2002 Berlin [u.a.], 2002 S. 163 - 181
Sprache: Englisch
>> Volltext
15
49GBVUOB_ALMA2123638565000350149GBVUOB_ALMA21236385650003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21236385650003501
Artikel
New Petri net programming features in PEP
von Cécile Bui Thanh ; Christian Stehno
2002
Details anzeigen
Beteiligte Personen (Uni Oldenburg): Stehno, Christian ([-2010])
Enthalten in: TOOLS DAY Brno, 2002 S. [72] - 78
Sprache: Englisch
>> Volltext
16
49GBVUOB_ALMA2123711619000350149GBVUOB_ALMA21237116190003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21237116190003501
Artikel
PEP version 2.0
von Christian Stehno
2001
Details anzeigen
Beteiligte Personen (Uni Oldenburg): Stehno, Christian ([-2010])
Enthalten in: Applications and theory of Petri nets 2001 Berlin [u.a.], 2001 5 Bl.
Sprache: Englisch
>> Volltext
17
49GBVUOB_ALMA2123711715000350149GBVUOB_ALMA21237117150003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21237117150003501
Artikel
FIFO buffers in hot tie sauce
von Franck Pommereau ; Christian Stehno
2001
Details anzeigen
Beteiligte Personen (Uni Oldenburg): Stehno, Christian ([-2010])
Enthalten in: LACL technical report 4 (2001), 10 Bl.
Sprache: Englisch
>> Volltext