External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

S BIP 2.0: Statistical Model Checking Stochastic Real-Time Systems

Braham Lotfi Mediouni, Ayoub Nouri, Marius Bozga, Mahieddine Dellabani, Axel Legay, Saddek Bensalem. S BIP 2.0: Statistical Model Checking Stochastic Real-Time Systems. In Shuvendu K. Lahiri, Chao Wang 0001, editors, Automated Technology for Verification and Analysis - 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings. Volume 11138 of Lecture Notes in Computer Science, pages 536-542, Springer, 2018. [doi]

Authors

Braham Lotfi Mediouni

This author has not been identified. Look up 'Braham Lotfi Mediouni' in Google

Ayoub Nouri

This author has not been identified. Look up 'Ayoub Nouri' in Google

Marius Bozga

This author has not been identified. Look up 'Marius Bozga' in Google

Mahieddine Dellabani

This author has not been identified. Look up 'Mahieddine Dellabani' in Google

Axel Legay

This author has not been identified. Look up 'Axel Legay' in Google

Saddek Bensalem

This author has not been identified. Look up 'Saddek Bensalem' in Google
runs on