1
0
0
(1 - 23 von 23
)
Publications Search - Details
www.informatik.uni-bremen.de
Publication type: Article: Author: Mihai Codescu, Bruno Langenstein, Christian Maeder, Till Mossakowski: Title: The VSE Refinement Method in Hets: Volume:
Christian Maeder - dblpdblp.org › Persons
dblp.org
Salva Daneshgadeh Çakmakçi, Helmar Hutschenreuter, Christian Maeder, Thomas Kemmerich: A Framework For Intelligent DDoS Attack Detection and Response using ...
From immanuel.normann at googlemail.com Fri Jul :50:
mailman.informatik.uni-bremen.de
Immanuel Accept: https://www.linkedin.com/e/v2?e=mhtetj-hxgo55ex-39&a= ... Maeder at dfki.de (Christian Maeder) Date: Wed, 30 Jul :55:53 +
hets-users
www.mail-archive.com
Re: [Hets-users] confirming basic spec results Christian Maeder ... Re: [Hets-users] I'd like to add you to my professional network on LinkedIn Till Mossakowski.
BibTeX records: Christian Maeder - DBLPdblp.org › Christian Maeder
dblp.org
· @inproceedings{DBLP:conf/icc/CakmakciHMK21, author = {Salva Daneshgadeh {\c{C}}akmak{\c{c}}i and Helmar Hutschenreuter and Christian Maeder ...
The Haskell 98 Report: Preface
www2.informatik.uni-freiburg.de
... Lisper, Sandra Loosemore, Pablo Lopez, Olaf Lubeck, Ian Lynagh, Christian Maeder, Ketil Malde, Simon Marlow, Michael Marte, Jim Mattson, John Meacham, ...
Publikationen IN
www.dfki.de
Intelligente Netze. PUBLIKATIONEN. Seite 1 von 2. Mihai Codescu, Bruno Langenstein, Christian Maeder, Till Mossakowski ...
Publikationen SLT
www.dfki.de
In: Tendencias em Matematica Aplicada e Com…cional (TEMA) Seiten SBMAC Brasil Zur Publikation · Glauber Cabral, Christian Maeder, ...
Mitarbeiter
www.informatik.uni-bremen.de
Dr. Christoph Lüth · Dr. Klaus Lüttich · Dr. Christian Maeder: Achim Mahnke: Franziska Martin · Dr. Thomas Meyer · Prof. Dr. Reinhard Moratz: Dr. Judith Müller ...
The VSE Refinement Method in Hets | Mossakowski | Electronic...
journal.ub.tu-berlin.de
The VSE Refinement Method in Hets
Karsten Sohr - DBLPdblp.org › Persons
dblp.org
Christian Maeder, Karsten Sohr, Rodrigue Wete Nguempnang, Nils Meyer-Larsen, Rainer Müller: Modeling and Validating Role-Based Authorization Policies for a ...
Mitarbeiter*innen - Universität Bremenwww.uni-bremen.de › arbeitsgruppe › mitarbeiterinnen
www.uni-bremen.de
Dr. Christian Maeder. Einrichtung Fachbereich 03: Mathematik/Informatik (FB 03), Einrichtung Informatik (Informatik),
Publications (Krieg-Brückner Group)www.informatik.uni-bremen.de › Group BKB › Publications › Deutsch
www.informatik.uni-bremen.de
Mihai Codescu, Bruno Langenstein, Christian Maeder, Till Mossakowski (2013). The VSE Refinement Method in Hets ... B. G. Teubner, Stuttgart, Leipzig. detail.
Zur Kontextanalyse einer algebraischen Programmiersprache
depositonce.tu-berlin.de
About the context analysis of an algebraic programming language. Christian Maeder. Algebraische Spezifikationen wurden theoretisch gut untersucht, doch für ...
Gruppenfoto der AG Krieg-Brückner
www.informatik.uni-bremen.de
Dr. Christoph Stahl, Dr. Bernd Gersdorf, Mattias Werner, Dr. Christian Maeder, Prof. Dr. Udo Frese, Prof. Dr. Dieter Hutter, Dr. Dominik Dietrich, Dr. Berthold Hoffmann, Thomas ...
sortiert nach Relevanz / Datum