Learning Specifications for Labelled Patterns
- Basset, N.
- Dang, T.
- Mambakam, A.
- Jarabo, J.I.R.
ISSN: 1611-3349, 0302-9743
ISBN: 9783030576271
Datum der Publikation: 2020
Formal Modeling and Analysis of Timed Systems - 18th International Conference, FORMATS 2020, Proceedings
Ausgabe: 12288 LNCS
Seiten: 76-93
Art: Konferenz-Beitrag