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) |
|
|
| | |
|