forsyde-atom-0.2.2.1: Shallow-embedded DSL for modeling cyber-physical systems
This package is a spin-off from the ForSyDe-Shallow project, aiming to incorporate a large set of modelling concepts for describing various aspects of cyber-physical systems. The API documentation is structured as a manual and can be read as such. For a general overview of this library and the formal concepts implemented, we recommend starting your lecture with the ForSyDe.Atom module. For more resources, such as tutorials, user manual or publicatons, we recommend visiting the web page at https://forsyde.github.io/forsyde-atom/.