Computer Science – Logic in Computer Science
Scientist
Computer Science
Logic in Computer Science
Scientist
Technical University of Denmark
A Stochastic Broadcast Pi-Calculus
Automata-Based CSL Model Checking
History-sensitive versus future-sensitive approaches to security in distributed systems
Layered Fixed Point Logic
Secondary use of data in EHR systems
No associations
LandOfFree
Flemming Nielson does not yet have a rating. At this time, there are no reviews or comments for this scientist.
If you have personal experience with Flemming Nielson, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Flemming Nielson will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-P-270835