> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: E-Artikel Titel: Methods for Domain Specialization of Verification-Oriented Process Ontologies Beteiligte: Garanina, N. O.; Anureev, I. S.; Borovikova, O. I.; Zyubin, V. E. Erschienen: Allerton Press, 2020 Erschienen in: Automatic Control and Computer Sciences, 54 (2020) 7, Seite 740-751 Sprache: Englisch DOI: 10.3103/s014641162007007x ISSN: 0146-4116; 1558-108X Schlagwörter: Signal Processing ; Control and Systems Engineering ; Software Entstehung: Anmerkungen: