Mohammad N. Paryavi

Learn More
OOSPEC is a model-based specification language and development system. If is intended as a small system for use in introducing formal specifications for undergraduates. OOSPEC combines features from several other specification and programming languages, particularly VDM , 2, Eiffel, Ada, and Smulltalk. The environment and implementation are based (loosely)(More)
BACKGROUND Pain is one of the most common reasons for emergency department (ED) visits in the United States. Ketamine is a sedative with N-methyl-D-aspartate (NMDA) receptor antagonism. Recent literature has suggested that the use of subdissociative dose ketamine (SDDK) may be safe and effective for acute pain. OBJECTIVE The objective of our study was to(More)
  • 1