HYST: A source transformation and translation tool for hybrid automaton models

Stanley Bak, Sergiy Bogomolov, Taylor T. Johnson

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

64 Citations (Scopus)

Fingerprint

Dive into the research topics of 'HYST: A source transformation and translation tool for hybrid automaton models'. Together they form a unique fingerprint.

Engineering

Computer Science