Learning Systems: Machine-Learning in Software Products and Learning-Based Analysis of Software Systems Special Track at ISoLA 2016 2016 (English)In: LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION AND VALIDATION: DISCUSSION, DISSEMINATION, APPLICATIONS, ISOLA 2016, PT II, 2016, p. 651-654Conference paper, Published paper (Refereed)

Place, publisher, year, edition, pages

2016. p. 651-654

Series

Lecture Notes in Computer Science, ISSN 0302-9743 ; 9953

National Category

Electrical Engineering, Electronic Engineering, Information Engineering

Identifiers

URN: urn:nbn:se:kth:diva-199815DOI: 10.1007/978-3-319-47169-3_50ISI: 000389942800051Scopus ID: 2-s2.0-84993989937ISBN: 978-3-319-47169-3 (print)ISBN: 978-3-319-47168-6 (print)OAI: oai:DiVA.org:kth-199815DiVA, id: diva2:1065672

Conference

7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA), OCT 10-14, 2016, Corfu, GREECE

Note

QC 20170116

Available from: 2017-01-16 Created: 2017-01-16 Last updated: 2022-06-27Bibliographically approved

Open Access in DiVA

No full text in DiVA

Other links

Publisher's full textScopus

Authority records

Meinke, Karl

Search in DiVA

By author/editor

Meinke, Karl

By organisation

Theoretical Computer Science, TCS

On the subject

Electrical Engineering, Electronic Engineering, Information Engineering

Search outside of DiVA

GoogleGoogle ScholarTotal: 93 hits