Fingeraftryk
Dyk ned i forskningsemnerne om 'Verification of a dynamic channel model using the SPIN model checker'. Sammen danner de et unikt fingeraftryk.- Sorter
- Vægt
- Alfabetisk
Verification of a dynamic channel model using the SPIN model checker
Rune Møllegaard Friborg, Brian Vinter