Concepedia

Danielius Kudinskas

DK

1

Publications

16

Citations

1

H-Index

2013

Active since

Affiliations

Vrije Universiteit Brussel(Current)

Danielius Kudinskas is an author at Vrije Universiteit Brussel specializing in engineering, system software, and formal verification.

Top concepts

Publications per year

2013–2013

1

Publications

1

Formal virtualization requirements for the ARM architecture

Niels Penneman, Danielius Kudinskas, Alasdair Rawsthorne et al. · Journal of Systems Architecture · 2013 · 16 citations · Full text

, , +8

Rows per page

1–1 of 1