Accueil
Explorer
nav.journalClub
Tendances
Plus
Synapse
⌘+K
Synapse
Langue
Français
Français
Brian Nielsen | Synapse
BN
Brian Nielsen
Formal Methods in Verification
Aalborg University
Share
Follow
Claim This Profile
About
Research focus
Formal Methods in Verification
Impact
173 pubs · 1,933 cites · h-index 21
Affiliations
Aalborg University
Chr. Hansen (Denmark)
Embedded Systems (United States)
See all
Publications