pyforce is a Python package implementing Data-Driven Reduced Order Modelling (DDROM) techniques for applications to multi-physics problems, mainly set in the Nuclear Engineering world. These ...
pySWAP is a Python wrapper (not Python implementation) for the SWAP hydrological model (link to the model website). It simplifies the creation of input files, execution of the SWAP model, and analysis ...
Abstract: Model checking is a fundamental technique for verifying finite state concurrent systems. Traditionally, model designs were initially created to facilitate the application of model checking.
Some results have been hidden because they may be inaccessible to you
Show inaccessible results