> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: E-Artikel Titel: A method for testing and validating executable statechart models Beteiligte: Mens, Tom; Decan, Alexandre; Spanoudakis, Nikolaos I. Erschienen: Springer Science and Business Media LLC, 2019 Erschienen in: Software & Systems Modeling, 18 (2019) 2, Seite 837-863 Sprache: Englisch DOI: 10.1007/s10270-018-0676-3 ISSN: 1619-1374; 1619-1366 Entstehung: Anmerkungen: