SENSE: Abstraction-Based Synthesis of Networked Control Systems Conference Proceeding

Best Open Access

Overview

CU Boulder Authors

Zamani, Majid

publication date

April 15, 2018

has restriction

gold

Date in CU Experts

July 24, 2019 2:19 AM

Full Author List

Khaled M; Rungger M; Zamani M

author count

3

citation count

3

published in

Electronic Proceedings in Theoretical Computer Science Journal

presented at event

1st International Workshop on Methods and Tools for Rigorous System Design (MeTRiD) as part of European Joint Conferences on Theory and Practice of Software (ETAPS) Conference

Other Profiles

International Standard Serial Number (ISSN)

2075-2180

Digital Object Identifier (DOI)

https://doi.org/10.4204/eptcs.272.6

Additional Document Info

start page

65

end page

78

issue

272