Yael Meller

From MaRDI portal
Person:259062

Available identifiers

zbMath Open meller.yaelMaRDI QIDQ259062

List of research outcomes





PublicationDate of PublicationType
A framework for compositional verification of multi-valued systems via abstraction-refinement2016-03-10Paper
Applying Software Model Checking Techniques for Behavioral UML Models2012-11-08Paper
A Framework for Compositional Verification of Multi-valued Systems via Abstraction-Refinement2009-12-01Paper

Research outcomes over time

This page was built for person: Yael Meller

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:259062&oldid=6257001"
Powered by MediaWiki