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.

Dynamic Tasks Verification with Quasar

Sami Evangelista, Claude Kaiser, Christophe Pajault, Jean-François Pradat-Peyre, Pierre Rousseau. Dynamic Tasks Verification with Quasar. In Tullio Vardanega, Andy J. Wellings, editors, Reliable Software Technology - Ada-Europe 2005, 10th Ada-Europe International Conference on Reliable Software Technologies, York, UK, June 20-24, 2005, Proceedings. Volume 3555 of Lecture Notes in Computer Science, pages 91-104, Springer, 2005. [doi]

Authors

Sami Evangelista

This author has not been identified. Look up 'Sami Evangelista' in Google

Claude Kaiser

This author has not been identified. Look up 'Claude Kaiser' in Google

Christophe Pajault

This author has not been identified. Look up 'Christophe Pajault' in Google

Jean-François Pradat-Peyre

This author has not been identified. Look up 'Jean-François Pradat-Peyre' in Google

Pierre Rousseau

This author has not been identified. Look up 'Pierre Rousseau' in Google
runs on