1
0
0
(1 - 20 von 22
)
Entwurfsoptimierung von selbst-adaptiven Wartungsmechanismen ...google.lu
books.google.lu
... ich Herrn Stephan Mennicke für die vielen fruchtbaren Diskussionen zu Forschungs- und Lehrthemen sowie für sein stets oenes Ohr. Herrn Dr. Hauke Baller, ...
Leveraging Applications of Formal Methods, Verification and ...google.lu
books.google.lu
320 Malte Lochau, Stephan Mennicke, Hauke Baller, and Lars Ribbeck Coverage Criteria for Behavioural Testing of Software Product Lines .
A MODEL-BASED TEST GENERATION APPROACH FOR ...yok.gov.tr
acikbilim.yok.gov.tr
von D Öztürk · Zitiert von: 2 — Lochau, Malte, Stephan Mennicke, Hauke Baller, and Lars Ribbeck “Incremental. Model Checking of Delta-Oriented Software Product Lines. › bitstream › handle
GitHub
aleksdimovski.github.io
von AS Dimovski · Zitiert von: 34 — Malte Lochau, Stephan Mennicke, Hauke Baller, and Lars. Ribbeck. Incremental model checking of delta-oriented software product lines. J. Log. Algebr. Meth ...
GitHub Pages
haslab.github.io
von C Liu · — Malte Lochau, Stephan Mennicke, Hauke Baller, and Lars Ribbeck. Deltaccs: A core calculus for behavioral change. In Proceedings of the 6th International ...
Trinity College Dublin
www.tara.tcd.ie
von A Borda · — [84] Malte Lochau, Stephan Mennicke, Hauke Baller, and Lars Ribbeck. Deltaccs: A core calculus for behavioral change. In Part I of the ...
ScienceDirect.com
www.sciencedirect.com
von M Lochau · · Zitiert von: 28 — ... Author links open overlay panel. Malte Lochau a , Stephan Mennicke b , Hauke Baller b , Lars Ribbeck b. Show more. Add to Mendeley. Share. Cite. https:
TUprints
tuprints.ulb.tu-darmstadt.de
von J Bürdek · Zitiert von: 2 — [LMBR14] Malte Lochau, Stephan Mennicke, Hauke Baller, and Lars Rib beck. Deltaccs: A core calculus for behavioral change. In Lever aging Applications of ...
Journal of Logical and Algebraic Methods in Programming | Formal...
www.sciencedirect.com
Incremental model checking of delta-oriented software product lines. Malte Lochau, Stephan Mennicke, Hauke Baller, Lars Ribbeck. Pages : Download ...
DeltaCCS: A Core Calculus for Behavioral Changespringer.com
link.springer.com
von M Lochau · · Zitiert von: 24 — DeltaCCS: A Core Calculus for Behavioral Change. Malte Lochau,; Stephan Mennicke, … Hauke Baller &; Lars Ribbeck. Show authors. Conference paper. › chapter
Leveraging Applications of Formal Methods, Verification and...
researchr.org
[doi] · DeltaCCS: A Core Calculus for Behavioral ChangeMalte Lochau, Stephan Mennicke, Hauke Baller, Lars Ribbeck [doi] · Coverage Criteria ...
Springer
link.springer.com
von M Lochau · · Zitiert von: 23 — Authors and Affiliations · TU Darmstadt, Germany. Malte Lochau · TU Braunschweig, Germany. Stephan Mennicke, Hauke Baller & Lars Ribbeck.
Featured games - ScienceDirectUnpaywall
unpaywall.org
Malte Lochau, Stephan Mennicke, Hauke Baller, Lars Ribbeck. Incremental model checking of delta-oriented software product lines.
Lecture Notes in Computer Science 8803DocPlayer.net
docplayer.net
320 Malte Lochau, Stephan Mennicke, Hauke Baller, and Lars Ribbeck. Table of Contents Part I XVII Coverage Criteria for Behavioural Testing of Software ...
Unpaywall
unpaywall.org
[55] Malte Lochau, Stephan Mennicke, Hauke Baller, and Lars Ribbeck Incre- mental model checking of delta-oriented software product lines. J. Log ...
lrde.epita
www.lrde.epita.fr
von U Fahrenberga · Zitiert von: 2 — [37] Malte Lochau, Stephan Mennicke, Hauke Baller, and Lars Ribbeck. Incre- mental model checking of delta-oriented software product lines ...
John Benjamins
benjamins.com
— Cited by 1 other publications. Lochau, Malte, Stephan Mennicke, Hauke Baller & Lars Ribbeck DeltaCCS: A Core Calculus for Behavioral ...
Sitemap - basic-notions.org - Stephan Mennicke
www.basic-notions.org
— Joint work with Malte Lochau, Hauke Baller, Lars Ribbeck Leveraging Applications of Formal Methods, Verification and Validation. › sit...
Alle Infos zum Namen "Hauke Baller"
sortiert nach Relevanz / Datum