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

詳細情報 詳細情報について

• 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

• データソース種別

  • Crossref