www.lmu.de
|
UB
|
Browse
|
Help
Advanced Search
Deutsch
Login
Create Account
Admin
Home
Browse
Help
Faculties
Research Centers
Persons
Subjects
Keimelion
Ludovico-Maximilianea
MALTE
Advanced Search
Up a level
Export as
ASCII Citation
BibTeX
Dublin Core
Dublin Core
EP3 XML
EndNote
HTML Citation
JSON
JSON_EPUB
JSON_EPUB_DOCTYPES
JSON_EPUB_FSP
JSON_EPUB_NEW
METS
Multiline CSV
Object IDs
OpenURL ContextObject
RDF+N-Triples
RDF+N3
RDF+XML
Refer
Reference Manager
RSS 1.0
RSS 2.0
Group by:
Item Type
|
Date
Jump to:
Journal article
Number of items:
1
.
Journal article
Kalat, Shadi Tasdighi
;
Liu, Siyuan
and
Zamani, Majid
(2022):
Modular Verification of Opacity for Interconnected Control Systems via Barrier Certificates.
In: IEEE Control Systems Letters (L-Css), Vol. 6: pp. 890-895
This list was generated on
Sun Sep 8 03:22:34 2024 CEST
.