KOPS
English
Deutsch
Anmelden
Benutzername
Passwort
Anmelden
Bitte wenden Sie sich an das KOPS-Team, wenn Sie keinen Account der Universität Konstanz haben (kops.kim@uni-konstanz.de)
Haben Sie Ihr Passwort vergessen?
KOPS
Fachbereiche
Das gesamte Repositorium
English
Deutsch
Anmelden
Benutzername
Passwort
Anmelden
Bitte wenden Sie sich an das KOPS-Team, wenn Sie keinen Account der Universität Konstanz haben (kops.kim@uni-konstanz.de)
Haben Sie Ihr Passwort vergessen?
Startseite
Ressourcen
Personen
Leue, Stefan
Leue, Stefan
Lade...
E-Mail-Adresse
ORCID
0000-0002-4259-624X
Geburtsdatum
Forschungsvorhaben
Organisationseinheiten
Berufsbeschreibung
Nachname
Leue
Vorname
Stefan
Name
4 Ergebnisse
Zurück zu den Ergebnissen
Filter
Typ
Sonstiges, textgebunden (z.B. Gutachten, Blogbeiträge)
Typ suchen
Submit
Autor:in
4
Leue, Stefan
1
Ben-Abdallah, Hanêne
1
Biechele, Peter
1
Kamel, Moataz
1
Leitner-Fischer, Florian
Autorensuche
Submit
Thema
4
004
Search subject
Submit
Datum
Start
Ende
Submit
1996 - 1999
2
2000 - 2008
2
Enthält Dateien
4
Ja
Filter zurücksetzen
Einstellungen
Sortieren nach
Relevanz absteigend
Titel aufsteigend
Erscheinungsdatum absteigend
Freischaltungsdatum absteigend
Ergebnisse pro Seite
1
5
10
20
40
60
80
100
Alles durchsuchen
Suche
Typ: Sonstiges, textgebunden (z.B. Gutachten, Blogbeiträge)
×
Suchwerkzeuge
Suchergebnisse Publikationen
Exportieren
BibTeX
CSV
Gerade angezeigt
1 - 4 von 4
Lade...
Veröffentlichung
Sonstiges, textgebunden (z.B. Gutachten, Blogbeiträge)
Simulink Design Verifier vs. SPIN : a comparative case study
(
2008
)
Leitner-Fischer, Florian
;
Leue, Stefan
Lade...
Veröffentlichung
Sonstiges, textgebunden (z.B. Gutachten, Blogbeiträge)
Explicit state model checking in the development process for interlocking software systems
(
2003
)
Biechele, Peter
;
Leue, Stefan
Lade...
Veröffentlichung
Sonstiges, textgebunden (z.B. Gutachten, Blogbeiträge)
Validation of remote object invocation and object migration
(
1998
)
Kamel, Moataz
;
Leue, Stefan
Lade...
Veröffentlichung
Sonstiges, textgebunden (z.B. Gutachten, Blogbeiträge)
Syntactic Analysis of Message Sequence Chart Specifications
(
1996
)
Ben-Abdallah, Hanêne
;
Leue, Stefan
Erschienen in:
Technical Report 96-12 Deptartment of Electrical and Computer Engineering University of Waterloo
0000-0002-4259-624X 