Jump to main content

yr 〜
yr

Search results 3

Software engineering and formal methods : 12th international conference, SEFM 2014 : Grenoble, France, September 1-5, 2014 : proceedings : Sep 2014, Grenoble, France. (Lecture Notes in Computer Science ; 8702)

Software engineering and formal methods : 12th international conference, SEFM 2014 : Grenoble, France, September 1-5, 2014 : proceedings : Sep 2014, Grenoble, France. (Lecture Notes in Computer Science ; 8702)
Paper図書
Springer[2014]<M17-15-1257>
National Diet Library
  • Author Heading...ulou, Dimitra. Salaün, G. (Gwen) Inria.

Formal aspects of component software : 9th international symposium, FACS 2012 : Mountain View, CA, USA, September 12-14, 2012 : revised selected papers : Sep 2012, Mountain View, CA. (Lecture Notes in Computer Science ; 7684)

Formal aspects of component software : 9th international symposium, FACS 2012 : Mountain View, CA, USA, September 12-14, 2012 : revised selected papers : Sep 2012, Mountain View, CA. (Lecture Notes in Computer Science ; 7684)
Paper図書
Springerc2013.<M17-13-1623>
National Diet Library
  • Author Heading...anu, Corina S. Salaün, G. (Gwen) Carnegie Mellon University.

Formal methods for industrial critical systems : 16th international workshop, FMICS 2011 : Trento, Italy, August 29-30, 2011 : proceedings : workshops of the ERCIM Working Group on Formal Methods for Industrial Critical Systems : Aug 2011, Trento, Italy. (Lecture Notes in Computer Science ; 6959)

Formal methods for industrial critical systems : 16th international workshop, FMICS 2011 : Trento, Italy, August 29-30, 2011 : proceedings : workshops of the ERCIM Working Group on Formal Methods for Industrial Critical Systems : Aug 2011, Trento, Italy. (Lecture Notes in Computer Science ; 6959)
Paper図書
Springerc2011.<M17-12-1242>
National Diet Library
  • Author Heading...Trento, Italy) Salaün, G. (Gwen) Schätz, Bernhard.

Reached to the end of result.

RSS