Login / Signup

HYST: a source transformation and translation tool for hybrid automaton models.

Stanley BakSergiy BogomolovTaylor T. Johnson
Published in: HSCC (2015)
Keyphrases