Login / Signup

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

Orion StaskalJosh SimacLogan SwayneKristin Y. Rozier
Published in: COMPSAC (2022)
Keyphrases