Publikation

Automatic Refinement Checking for Formal System Models

Julia Seiter, Robert Wille, Ulrich Kühne, Rolf Drechsler

In: Forum on Specification & Design Languages - Proceedings. Forum on Specification & Design Languages (FDL-14) October 14-16 München Germany o.A. 2014.

Abstrakt

o.A.

Deutsches Forschungszentrum für Künstliche Intelligenz
German Research Center for Artificial Intelligence