asimabdulkhaleq's Stars
asimabdulkhaleq/STPA-and-Software-Model-Checking
This project is an illustrative example of integrated STPA and software model checker (research paper) Authors: Asim Abdulkhaleq, Stefan Wagner Software Engineering Group, Institute of Software Technology University of Stuttgart, Germany March, 2015