Formalizing Model Inference of Micropython

AuthID
P-00Y-ZT0
3
Author(s)
Cogumbreiro, T
·
Document Type
Proceedings Paper
Year published
2023
Published
in 2023 53RD ANNUAL IEEE/IFIP INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS AND NETWORKS WORKSHOPS, DSN-W in International Conference on Dependable Systems and Networks Workshops, ISSN: 2325-6648
Pages: 283-289 (7)
Conference
53Rd Annual Ieee/Ifip International Conference on Dependable Systems and Networks (Dsn), Date: JUN 27-30, 2023, Location: Porto, PORTUGAL
Indexing
Publication Identifiers
SCOPUS: 2-s2.0-85169432920
Wos: WOS:001050777800048
Source Identifiers
ISSN: 2325-6648
Export Publication Metadata
Marked List
Info
At this moment we don't have any links to full text documens.