Noemi Passing

2PUBLICATIONS
1CO-AUTHORS
Formal methods for softwareChemical and thermal processes in energy and combustion
Featured researcher

Get your video featured.

JoVEPublish with JoVE
Journal

Publications (2)

|Nov 16, 2023
Specification decomposition for reactive synthesis.

Bernd Finkbeiner, Gideon Geier, Noemi Passing

|Sep 19, 2022
Compositional synthesis of modular systems.

Bernd Finkbeiner, Noemi Passing

Pageof 1

Frequent Collaborators