ISSE
-
ISSE.
by: ISSESafetySharp - 9,524 total downloads
- last updated 3/23/2018
- Latest version: 2.0.0
S# ("safety sharp") is a formal modeling and safety analysis framework for safety-critical systems developed by the Institute for Software and Systems Engineering at the University of Augsburg. S# provides a... More information