Login / Signup
Josh Simac
Publication Activity (10 Years)
Years Active: 2022-2022
Publications (10 Years): 1
Top Topics
Requirements Specification
Entity Relationship
Conceptual Database Design
Safety Critical
Top Venues
COMPSAC
</>
Publications
</>
Orion Staskal
,
Josh Simac
,
Logan Swayne
,
Kristin Y. Rozier
Translating SysML Activity Diagrams for nuXmv Verification of an Autonomous Pancreas.
COMPSAC
(2022)