Jump to main content

yr 〜
yr

Search results 4

Software engineering for resilient systems : 7th international workshop, SERENE 2015 : Paris, France, September 7-8, 2015 : proceedings : Sep 2015, Paris, France. (Lecture Notes in Computer Science ; 9274)

Software engineering for resilient systems : 7th international workshop, SERENE 2015 : Paris, France, September 7-8, 2015 : proceedings : Sep 2015, Paris, France. (Lecture Notes in Computer Science ; 9274)
Paper図書
Springer[2015]<M17-16-602>
National Diet Library
  • Author HeadingSERENE (Workshop) (7th : 2015 : Paris, France) Fantechi, Alessandro. Pelliccione, P. (Patrizio)

Formal methods for industrial critical systems : 13th international workshop, FMICS 2008 : L'Aquila, Italy, September 15-16, 2008 : revised selected papers. : Sep 2008, L'Aquila, Italy. (Lecture Notes in Computer Science ; 5596)

Formal methods for industrial critical systems : 13th international workshop, FMICS 2008 : L'Aquila, Italy, September 15-16, 2008 : revised selected papers. : Sep 2008, L'Aquila, Italy. (Lecture Notes in Computer Science ; 5596)
Paper図書
Springerc2009.<M17-10-1593>
National Diet Library
  • Author Heading...Cofer, Darren. Fantechi, Alessandro. International Workshop on Fo...

Formal methods for industrial critical systems : 13th International Workshop, FMICS 2008, L'Aquila, Italy, September 15-16, 2008 : revised selected papers

Formal methods for industrial critical systems : 13th International Workshop, FMICS 2008, L'Aquila, Italy, September 15-16, 2008 : revised selected papers
Paper図書
Darren Cofer, Alessandro Fantechi (eds.)Springerc2009
Other Libraries in Japan
  • Author Heading... Cofer, Darren Fantechi, Alessandro

Formal methods for open object-based distributed systems : IFIP TC6/WG6.1 Third International Conference on Formal Methods for Open Objec-Based Distributed Systems (FMOODS) : February 15-18, 1999, Florence, Italy

Formal methods for open object-based distributed systems : IFIP TC6/WG6.1 Third International Conference on Formal Methods for Open Objec-Based Distributed Systems (FMOODS) : February 15-18, 1999, Florence, Italy
Paper図書
edited by Paolo Ciancarini, Alessandro Fantechi, Robert GorrieriKluwer Academicc1999
Other Libraries in Japan
  • Author Heading...ncarini, Paolo Fantechi, Alessandro Gorrieri, Roberto Internation...

Reached to the end of result.

RSS