HYST
a source transformation and translation tool for hybrid automaton models release_urdljbjf7ne7tahiuyn2jni5ta

by Stanley Bak, Sergiy Bogomolov, Taylor T. Johnson

Published in International Conference on Hybrid Systems: Computation and Control by ACM Press.

2015   p128-133

Archived Files and Locations

application/pdf   775.1 kB
file_yc76trklmzhcpbtzk5jwmhpy6a
application/pdf   718.4 kB
file_z52bxniywbb4zfpelsvamwjhuy
web.archive.org (webarchive)
web.archive.org (webarchive)
www.taylortjohnson.com (web)
web.archive.org (webarchive)
stanleybak.com (web)
Read Archived PDF
Preserved and Accessible
Type  paper-conference
Stage   published
Year   2015
Work Entity
access all versions, variants, and formats of this works (eg, pre-prints)
Catalog Record
Revision: 4996c177-9dbd-48e0-bb44-d89803a1b01b
API URL: JSON