VirtualSatellite4-Core
VirtualSatellite4-Core copied to clipboard
Example Requirement Verification Methods
Implementation of some basic model-based requirement verification methods.
To demonstrate their usability, some domain concepts implement these methods.