GALS} synthesis and verification for xMAS models (2015)

First Author: Frank P. Burns
Attributed to:  UNderstanding COmplex system eVolution through structurEd behaviouRs (UNCOVER) funded by EPSRC

Abstract

No abstract provided

Bibliographic Information

Publication URI: http://dl.acm.org/citation.cfm?id=2757141

Type: Conference/Paper/Proceeding/Abstract