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.

Incremental Methods for Checking Real-Time Consistency

Thierry Jéron, Nicolas Markey, David Mentré, Reiya Noguchi, Ocan Sankur. Incremental Methods for Checking Real-Time Consistency. In Nathalie Bertrand 0001, Nils Jansen 0001, editors, Formal Modeling and Analysis of Timed Systems - 18th International Conference, FORMATS 2020, Vienna, Austria, September 1-3, 2020, Proceedings. Volume 12288 of Lecture Notes in Computer Science, pages 249-264, Springer, 2020. [doi]

Authors

Thierry Jéron

This author has not been identified. Look up 'Thierry Jéron' in Google

Nicolas Markey

This author has not been identified. Look up 'Nicolas Markey' in Google

David Mentré

This author has not been identified. Look up 'David Mentré' in Google

Reiya Noguchi

This author has not been identified. Look up 'Reiya Noguchi' in Google

Ocan Sankur

This author has not been identified. Look up 'Ocan Sankur' in Google
runs on