Calibration of Stochastic Biochemical Models against Behavioral Temporal Logic Specifications Conference

Jha, Sumit Kumar, Khalid, Arfeen. (2017). Calibration of Stochastic Biochemical Models against Behavioral Temporal Logic Specifications .

cited authors

  • Jha, Sumit Kumar; Khalid, Arfeen

date/time interval

  • October 19, 2017 -

publication date

  • January 1, 2017

keywords

  • Engineering
  • Engineering, Biomedical
  • Engineering, Electrical & Electronic
  • Science & Technology
  • Technology

Location

  • FL, Orlando

Conference

  • 7th IEEE International Conference on Computational Advances in Bio and Medical Sciences (ICCABS)

publisher

  • IEEE