Zobrazeno 1 - 2
of 2
pro vyhledávání: '"Shaghayegh Tavassoli"'
Publikováno v:
Felfernig, A. (ed.), SPLC '22: 26th ACM International Systems and Software Product Line Conference Graz Austria September 12-16, 2022, pp. 245-249
Behavioral models are the key enablers for behavioral analysis of Software Product Lines (SPL), including testing and model checking. Active model learning comes to the rescue when family behavioral models are non-existent or outdated. A key challeng
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::a03fd29ad3fa047501a2509da5d09c7c
Publikováno v:
Lecture Notes in Computer Science
3rd International Conference on Topics in Theoretical Computer Science (TTCS)
3rd International Conference on Topics in Theoretical Computer Science (TTCS), Jul 2020, Tehran, Iran. pp.85-100, ⟨10.1007/978-3-030-57852-7_7⟩
Topics in Theoretical Computer Science ISBN: 9783030578510
TTCS
3rd International Conference on Topics in Theoretical Computer Science (TTCS)
3rd International Conference on Topics in Theoretical Computer Science (TTCS), Jul 2020, Tehran, Iran. pp.85-100, ⟨10.1007/978-3-030-57852-7_7⟩
Topics in Theoretical Computer Science ISBN: 9783030578510
TTCS
International audience; Real-time computer systems are software or hardware systems which have to perform their tasks according to a time schedule. Formal verification is a widely used technique to make sure if a real-time system has correct time beh
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::327aa00541f15fc9fe1a928c757d0763
https://hal.inria.fr/hal-03165386/file/495613_1_En_7_Chapter.pdf
https://hal.inria.fr/hal-03165386/file/495613_1_En_7_Chapter.pdf