Raphael Wortmann

We don’t have enough information about this author to calculate their statistics. If you think this is an error let us know.
Learn More
  • Elisabeth Ilie-Zudor, Zsolt Kemény, László Monostori, Van Brussel, H Dreyer, Van Houten +31 others
  • 2012
The verification of embedded, safety-critical industrial systems is important, since a failure of these systems may have catastrophic consequences. Formal methods guarantee not only the correctness, but also the completeness of the analysis. However, even moderately complex industrial systems have state spaces so large that former analysis techniques could(More)
The effect of the following drugs in therapeutic doses on somatosensory cortical evoked potentials was studied: methamphetamine, chlorpromazine, imipramine, diazepam, phenobarbital, pethidine, and novaminesulfone. Physiological saline was used as control. Each of these compounds was studied in 5 healthy subjects. Three evoked potentials were recorded(More)
  • 1