Filters








1 Hit in 3.2 sec

Momba: JANI Meets Python

Maximilian Köhl, Michaela Klauck, Holger Hermanns
2021 Zenodo  
JANI is the natural foundation for a project like Momba.  ...  In this paper, we present Momba, a flexible Python framework for dealing with formal models.  ... 
doi:10.5281/zenodo.5750802 fatcat:nyql3snfgvgtdksttfiao5o7nm