| 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, 2018
|
|
| ISSN |
|
|
|
0098-5589 [print]
1939-3520 [online]
|
|
| Volume/pages |
|
|
|
93:12(2018), p. 1045-1061
|
|
| Full text (Publisher's DOI) |
|
|
| |
|
| Full text (open access) |
|
|
| |
|