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.

Time4sys2imi: A Tool to Formalize Real-Time System Models Under Uncertainty

Étienne André, Jawher Jerray, Sahar Mhiri. Time4sys2imi: A Tool to Formalize Real-Time System Models Under Uncertainty. In Robert M. Hierons, Mohamed Mosbah, editors, Theoretical Aspects of Computing - ICTAC 2019 - 16th International Colloquium, Hammamet, Tunisia, October 31 - November 4, 2019, Proceedings. Volume 11884 of Lecture Notes in Computer Science, pages 113-123, Springer, 2019. [doi]

Authors

Étienne André

This author has not been identified. Look up 'Étienne André' in Google

Jawher Jerray

This author has not been identified. Look up 'Jawher Jerray' in Google

Sahar Mhiri

This author has not been identified. Look up 'Sahar Mhiri' in Google
runs on