Synthesis of Memory-Efficient Real-Time Controllers for Safety Objectives

AuthID
 P-007-YBZ
2
Author(s)
Chatterjee, K
·
Document Type
Proceedings Paper
Year published
2011
Published
in HSCC'11 - Proceedings of the 2011 ACM/SIGBED Hybrid Systems: Computation and Control
Pages: 221-230
Conference
14Th Acm International Conference on Hybrid Systems: Computation and Control, Hscc 2011, Date: 12 April 2011 through 14 April 2011, Location: Chicago, IL, Sponsors: ACM SIGBED
Indexing
Scopus®
Crossref®
Google Scholar®
Publication Identifiers
Scopus: 2-s2.0-79955986985
Export Publication Metadata
Marked List
 Add to Marked List
Info
At this moment we don't have any links to full text documens.

A place for researchers and their institutions

Useful Links

Get Help

© 2024 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service