T. Kulik
发表
Jim Woodcock,
Hugo Daniel Macedo,
Peter Gorm Larsen,
2021,
Formal Aspects Comput..
T. Kulik,
2020
.
T. Kulik,
2020
.
Tomas Kulik,
Peter Würtz Vinther Tran-Jørgensen,
Jalil Boudjadar,
2019,
2019 Global IoT Summit (GIoTS).
Peter W. V. Tran-Jørgensen,
Tomas Kulik,
Jalil Boudjadar,
2020,
2020 IEEE/ACM 8th International Conference on Formal Methods in Software Engineering (FormaliSE).
Peter Gorm Larsen,
Tomas Kulik,
Peter Würtz Vinther Tran-Jørgensen,
2019,
MEMOCODE.
Tomas Kulik,
Peter Würtz Vinther Tran-Jørgensen,
Jalil Boudjadar,
2018,
SecITC.
Peter Gorm Larsen,
T. Kulik,
P. Larsen,
2018
.
Tomas Kulik,
Peter Würtz Vinther Tran-Jørgensen,
Jalil Boudjadar,
2018,
2018 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW).