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.

SCADE 6: A formal language for embedded critical software development (invited paper)

Jean-Louis Colaço, Bruno Pagano, Marc Pouzet. SCADE 6: A formal language for embedded critical software development (invited paper). In Frédéric Mallet, Min Zhang 0002, Eric Madelaine, editors, 11th International Symposium on Theoretical Aspects of Software Engineering, TASE 2017, Sophia Antipolis, France, September 13-15, 2017. pages 1-11, IEEE, 2017. [doi]

Authors

Jean-Louis Colaço

This author has not been identified. Look up 'Jean-Louis Colaço' in Google

Bruno Pagano

This author has not been identified. Look up 'Bruno Pagano' in Google

Marc Pouzet

This author has not been identified. Look up 'Marc Pouzet' in Google
runs on