skip to main content
Idioma:

Proceedings: Workshop on the experience of and advances in developing dependable systems in Event-B (DS-Event-B 2012)

Ishikawa, Fuyuki ; Romanovsky, Alexander

arXiv.org, 2012-11

Ithaca: Cornell University Library, arXiv.org

Texto completo disponible

Citas Citado por
  • Título:
    Proceedings: Workshop on the experience of and advances in developing dependable systems in Event-B (DS-Event-B 2012)
  • Autor: Ishikawa, Fuyuki ; Romanovsky, Alexander
  • Materias: Computer Science - Software Engineering ; Workshops
  • Es parte de: arXiv.org, 2012-11
  • Descripción: These proceedings include papers presented at the Workshop on "The experience of and advances in developing dependable systems in Event-B" held on November 13, 2012 as part of the ICFEM 2012 (Kyoto, Japan).
  • Editor: Ithaca: Cornell University Library, arXiv.org
  • Idioma: Inglés
Enlaces
Volver a la lista de resultados
Ir a la página anteriorAnterior Resultado  3 SiguienteIr a la siguiente página

  • Realización: ABCD-USP USP   Logos de Redes Sociales: Freepik

Buscando en bases de datos remotas, por favor espere

  • Buscando por
  • enscope:(USP_VIDEOS),scope:("PRIMO"),scope:(USP_FISICO),scope:(USP_EREVISTAS),scope:(USP),scope:(USP_EBOOKS),scope:(USP_PRODUCAO),primo_central_multiple_fe
  • Mostrar lo que tiene hasta ahora