Translating SysML Activity Diagrams for nuXmv Verification of an Autonomous Pancreas.

Orion Staskal, Josh Simac, Logan Swayne, Kristin Y. Rozier

Browse the full COMPSAC paper archive.