Publications by authors named "Noemi Passing"

Claim this Profile
S
Specification decomposition for reactive synthesis.
Bernd Finkbeiner, Gideon Geier, Noemi Passing

Innov Syst Softw Eng· July 2022

Social Media Activity not collected for this article yet.

Sign Up to Request Social Media Analysis
C
Compositional synthesis of modular systems.
Bernd Finkbeiner, Noemi Passing

Innov Syst Softw Eng· April 2022

Social Media Activity not collected for this article yet.

Sign Up to Request Social Media Analysis