Toggle Main Menu Toggle Search

Open Access padlockePrints

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

Lookup NU author(s): Dr Sergiy BogomolovORCiD

Downloads


Licence

This is the authors' accepted manuscript of a conference proceedings (inc. abstract) that has been published in its final definitive form by ACM, 2015.

For re-use rights please refer to the publisher's terms and conditions.


Publication metadata

Author(s): Bak S, Bogomolov S, Johnson T

Publication type: Conference Proceedings (inc. Abstract)

Publication status: Published

Conference Name: 18th International Conference on Hybrid Systems: Computation and Control (HSCC 2015)

Year of Conference: 2015

Pages: 128-133

Online publication date: 14/04/2015

Acceptance date: 20/12/2014

Date deposited: 01/04/2021

Publisher: ACM

URL: https://doi.org/10.1145/2728606.2728630

DOI: 10.1145/2728606.2728630

Library holdings: Search Newcastle University Library for this item

ISBN: 9781450334334


Share