Spring til hovednavigation
Spring til søgning
Spring til hovedindhold
Københavns Universitets forskningsportal Forside
Hjælp og OSS
Dansk
English
Forside
Profiler
Publikation
Forskningsenheder
Presse/medier
Aktiviteter
Priser
???studenttheses???
Forskningsdatasæt
Søg efter ekspertise, navn eller tilknytning
A MuDDy Experience-ML Bindings to a BDD Library
Ken Friis Larsen
Datalogisk Institut
Datalogisk Institut
Oversigt
Fingeraftryk
Fingeraftryk
Dyk ned i forskningsemnerne om 'A MuDDy Experience-ML Bindings to a BDD Library'. Sammen danner de et unikt fingeraftryk.
Sorter
Vægt
Alfabetisk
Keyphrases
Binary Decision Diagram
100%
C Library
50%
Standard ML
50%
Domain Specific Embedded Language
25%
Finite State Machine
25%
Checking Algorithm
25%
Boolean Expression
25%
Caml
25%
Symbolic Algorithms
25%
Model Checker
25%
Grunt
25%
Custom Model
25%
Handover
25%
Computer Science
binary decision diagram
100%
model checker
16%
Finite-State Machine
16%
Canonical Form
16%
Boolean Expression
16%
Model Checking Algorithm
16%