|
Home « Team « Publikationen
» Publikationen von
Julia Seiter
|
 |
BÜCHER |
 |
|
BUCHBEITRÄGE |
|
|
ZEITSCHRIFTEN |
|
|
KONFERENZEN |
|
» Determining Relevant Model Elements for the Verification of UML/OCL Specifications
|
|
|
|
Autor:
|
|
Julia Seiter, Robert Wille, Mathias Soeken, Rolf Drechsler |
| Konferenz: |
|
Design, Automation and Test in Europe (DATE) |
Referenz:
|
| Grenoble, France, 2013
| Hyperlink:
|
| [Link zur Konferenz]
| PDF:
|
| [hier ansehen]
|
» Completeness-Driven Development
|
|
|
|
Autor:
|
|
Rolf Drechsler, Melanie Diepenbeck, Daniel Große, Ulrich Kühne, Hoang M. Le, Julia Seiter, Mathias Soeken, Robert Wille |
| Konferenz: |
|
International Conference on Graph Transformation |
Referenz:
|
| pp. 38-50, Bremen, 2012
| Hyperlink:
|
| [Link zur Konferenz]
| PDF:
|
| [hier ansehen]
|
|
WORKSHOPS |
|
» Property Checking of Quantum Circuits Using Quantum Multiple-Valued Decision Diagrams
|
|
|
|
Autor:
|
|
Julia Seiter, Mathias Soeken, Robert Wille, Rolf Drechsler |
| Workshop: |
|
Workshop on Reversible Computation |
Referenz:
|
| Kopenhagen, 2012
| Hyperlink:
|
| [Link zum Workshop]
|
|
|
|
