Cooperation of Model Checking and Network Simulation for Cost Analyses of Distributed Systems
Novel Oligonucleotide Carrier as Scavenger for Reactive Oxygen Species
A simulation system to optimize map-matching techniques on a vehicular navigation system