24 Infos zu Casjen Schnars

1 Aktuelle Nachrichten

5 Profile in Sozialen Netzwerken

› casjen-schnars a

Oldenburg, Niedersachsen, Germany

Casjen Schnars nightlife. Favourite clubs: . Last party:

2 Persönliche Webseiten

Marc Überschär, Marvin Rothermund, Egzon Lekaj, Casjen Schnars ...

Basteln mit Bart Inhaber des Unternehmens: Casjen Schnars Postfach Oldenburg Deutschland E-Mail-Adresse: . Telefonnummer:. › impressum

1 Projekte

Christoph Eichner, Eike Frost, Martin Hilscher, André Kaiser, Roland Meyer, Mark Ross, Casjen Schnars, Ulrik Schrimpf, Tim Strazny PG Quassel entwickelt KerMod: …

1 Songs & Musik

Boris Rosenow & Casjen Schnars. Follow. Holz, Werkzeug und noch viel mehr. All Episodes. You(tu)biläum - zeig her deine Channels! › show

2 Dokumente

Download Diplomarbeit. Integration von Verifikationswerkzeugen zur Systemanalyse mit Fehlerbäumen...

vorgelegt von: Casjen Schnars. Erstprüfer: Prof. Dr. Ernst-Rüdiger Olderog. Zweitprüfer: Dipl.-Inform. Andreas Schäfer. Oldenburg, den 22. Dezember › user_upload › informatik › csd › s...

3 Wissenschaftliche Publikationen

vorgelegt von: Casjen Schnars Erstprufer: Prof. Dr. Ernst-Rudiger Olderog Zweitprufer: Dipl.-Inform. Andreas Sch afer Oldenburg, den 22. Dezember Danksagung

vorgelegt von: Casjen Schnars. Erstprüfer: Prof. Dr. Ernst-Rüdiger Olderog. Zweitprüfer: Dipl.-Inform. Andreas Schäfer. Oldenburg, den 22. Dezember › pub

Casjen Schnars: Entwicklung eines Java-Tools zur ¨Ubersetzung von Fehlerbäumen mit DC-. Semantik in Phasenautomaten, Abteilung von Herrn Olderog, › zjb0204 › ZJB

8 Webfunde aus dem Netz

› casjen › info

› podcasts

› podcast › werk-und-zeug-...

Abteilung Parallele Systeme Fakultät II Department für Informatik Endbericht Projektgruppe P-UMLaut Christoph Eichner, Eike Frost, Martin Hilscher, André Kaiser, Roland Meyer, Mark Ross, Casjen Schnars,

Author: Boris Rosenow & Casjen Schnars. Subscribed: 1Played: 1. Subscribe. Share. © Boris Rosenow & Casjen Schnars. Description. › channel › Werk-und-Zeug-Podcast...

... Casjen Schnars Erstprüfer : Prof. Dr. Ernst-Rüdiger Olderog Zweitprüfer : Dipl.-Inform. Andreas Schäfer Betreuer : Dipl.-Inform. Johannes Faber Oldenburg, ...

Fakultät II - Departement für Informatik Individuelles Projekt Entwicklung eines Javatools zur Übersetzung von Fehlerbäumen mit DC Semantik in Phasenautomaten vorgelegt von: Casjen Schnars Erstprüfer:

Casjen Schnars (Oktober 2006) Integration von CSP-OZ in die OO-Softwareentwicklung für die automatische Verifikation [pdf] Andreea Stamer (März 2006)