nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
1 |
An epistemic approach to the formal specification of statistical machine learning
|
Kawamoto, Yusuke |
|
|
20 |
2 |
p. 293-310 |
artikel |
2 |
An improved approach on the model checking for an agent-based simulation system
|
Liu, Yinling |
|
|
20 |
2 |
p. 429-445 |
artikel |
3 |
An operational guide to monitorability with applications to regular properties
|
Aceto, Luca |
|
|
20 |
2 |
p. 335-361 |
artikel |
4 |
Asynchronous session subtyping as communicating automata refinement
|
Bravetti, Mario |
|
|
20 |
2 |
p. 311-333 |
artikel |
5 |
Claimed advantages and disadvantages of (dedicated) model transformation languages: a systematic literature review
|
Götz, Stefan |
|
|
20 |
2 |
p. 469-503 |
artikel |
6 |
Consistent change propagation within models
|
Kretschmer, Roland |
|
|
20 |
2 |
p. 539-555 |
artikel |
7 |
Modeling and simulation of the IEEE 802.11e wireless protocol with hidden nodes using Colored Petri Nets
|
Coronado, Estefanía |
|
|
20 |
2 |
p. 505-538 |
artikel |
8 |
Modeling cultures of the embedded software industry: feedback from the field
|
Akdur, Deniz |
|
|
20 |
2 |
p. 447-467 |
artikel |
9 |
Mutation testing with hyperproperties
|
Fellner, Andreas |
|
|
20 |
2 |
p. 405-427 |
artikel |
10 |
Reflections on the standardization of SysML 2
|
Gray, Jeff |
|
|
20 |
2 |
p. 287-289 |
artikel |
11 |
Reproducible execution of POSIX programs with DiOS
|
Ročkai, Petr |
|
|
20 |
2 |
p. 363-382 |
artikel |
12 |
Software engineering and formal methods: SEFM 2019 special section
|
Ölveczky, Peter Csaba |
|
|
20 |
2 |
p. 291-292 |
artikel |
13 |
Specification and automated verification of atomic concurrent real-time transactions
|
Cai, Simin |
|
|
20 |
2 |
p. 557-589 |
artikel |
14 |
Test model coverage analysis under uncertainty: extended version
|
Prasetya, I. S. W. B. |
|
|
20 |
2 |
p. 383-403 |
artikel |