Control of Cyber-Physical-Systems with logic specifications: A formal methods approach

DOI Web Site Web Site 1 Citations

Journal

Annual Reviews in Control

Annual Reviews in Control 47 178-192, 2019

Elsevier BV

Citations (1)*help

See more

Keywords

Details 詳細情報について

CRID

1360861710174680704
DOI

10.1016/j.arcontrol.2019.03.010
ISSN

13675788
Web Site

https://api.elsevier.com/content/article/PII:S1367578818302153?httpAccept=text/xml

https://api.elsevier.com/content/article/PII:S1367578818302153?httpAccept=text/plain
Data Source
- Crossref

Export

Report a problem

Back to top