Publication
Title
A framework for temporal verification support in domain-specific modelling
Author
Abstract
Language
English
Source (journal)
IEEE transactions on software engineering. - New York, N.Y., 1975, currens
Publication
New York, N.Y. : Institute of Electrical and Electronics Engineers, 2020
ISSN
0098-5589 [print]
1939-3520 [online]
Volume/pages
46:4(2020), p. 362-404
ISI
000529529700002
Full text (Publisher's DOI)
Full text (open access)
UAntwerpen
Faculty/Department
Research group
Publication type
Subject
Affiliation
Publications with a UAntwerp address
External links
Web of Science
Record
Identification
Creation 08.10.2018
Last edited 10.07.2020
To cite this reference