yr 〜
yr

Search results 7

Leveraging applications of formal methods, verification and validation : 6th international symposium, ISoLA 2014 : Imperial, Corfu, Greece, October 8-11, 2014 : proceedings : ISoLA 2014 conference : Oct 2014, Imperial, Greece. (Lecture Notes in Computer Science ; 8802-8803)

Leveraging applications of formal methods, verification and validation : 6th international symposium, ISoLA 2014 : Imperial, Corfu, Greece, October 8-11, 2014 : proceedings : ISoLA 2014 conference : Oct 2014, Imperial, Greece. (Lecture Notes in Computer Science ; 8802-8803)
Paper図書
Springer[2014]<M17-15-1533>
National Diet Library
  • Author Heading...rkyra, Greece) Margaria-Steffen, Tiziana, 1964- Steffen, Bernhard.

Leveraging applications of formal methods, verification and validation : 5th international symposium, ISoLA 2012 : Heraklion, Crete, Greece, October 15-18, 2012 : proceedings : LearnLib tutorial: from finite automata to register interface programs : Linux driver verification workshop : ISoLA week : Oct 2012, Heraklion, Greece. (Lecture Notes in Computer Science ; 7609-7610)

Leveraging applications of formal methods, verification and validation : 5th international symposium, ISoLA 2012 : Heraklion, Crete, Greece, October 15-18, 2012 : proceedings : LearnLib tutorial: from finite automata to register interface programs : Linux driver verification workshop : ISoLA week : Oct 2012, Heraklion, Greece. (Lecture Notes in Computer Science ; 7609-7610)
Paper図書
Springerc2012.<M17-13-1088>
National Diet Library
  • Author HeadingISoLA 2012 (2012 : Ērakleion, Greece) Margaria-Steffen, Tiziana, 1964- Steffen, Bernhard.

2012 sixth international symposium on theoretical aspects of software engineering : (TASE 2012) : Beijing, China : 4-6 July 2012 : IEEE 6th international symposium on theoretical aspects of software engineering : Jul 2012, Beijing, China.

2012 sixth international symposium on theoretical aspects of software engineering : (TASE 2012) : Beijing, China : 4-6 July 2012 : IEEE 6th international symposium on theoretical aspects of software engineering : Jul 2012, Beijing, China.
Paper図書
IEEEc2012.<M17-13-1403>
National Diet Library
  • Author Heading...eijing, China) Margaria-Steffen, Tiziana, 1964- Qiu, Zongyan. Yang, Hongli. B...

Service-oriented computing -- ICSOC 2008 : 6th international conference : Sydney, Australia, December 1-5, 2008 : proceedings. : Dec 2008, Sydney, Australia. (Lecture Notes in Computer Science ; 5364)

Service-oriented computing -- ICSOC 2008 : 6th international conference : Sydney, Australia, December 1-5, 2008 : proceedings. : Dec 2008, Sydney, Australia. (Lecture Notes in Computer Science ; 5364)
Paper図書
Springerc2008.<M17-09-1168>
National Diet Library
  • Author Heading...ger, Ingolf H. Margaria-Steffen, Tiziana, 1964- ICSOC 2008 (2008 : Sydney, N....

Fifth IEEE international conference on software engineering and formal methods : SEFM 2007 : proceedings : London, England : 10-14 September 2007. : IEESEFM07 [i.e. IEEESEFM07] : Sep 2007, London, UK.

Fifth IEEE international conference on software engineering and formal methods : SEFM 2007 : proceedings : London, England : 10-14 September 2007. : IEESEFM07 [i.e. IEEESEFM07] : Sep 2007, London, UK.
Paper図書
IEEE Computer Societyc2007.<M17-09-1577>
National Diet Library
  • Author Heading...erard) , 1969- Margaria-Steffen, Tiziana, 1964- IEEE International Conference...

FMICS'05 : proceedings of the tenth international workshop on formal methods for industrial critical systems : September 5-6, 2005 Lisbon, Portugal : co-located with ESEC/FSE'05. : FMICS workshop : Sep 2005, Lisbon, Portugal.

FMICS'05 : proceedings of the tenth international workshop on formal methods for industrial critical systems : September 5-6, 2005 Lisbon, Portugal : co-located with ESEC/FSE'05. : FMICS workshop : Sep 2005, Lisbon, Portugal.
Paper図書
Association for Computing Machineryc2005.<M17-06-1944>
National Diet Library
  • Author HeadingMargaria-Steffen, Tiziana, 1964- Massink, Mieke. International...

Fundamental approaches to software engineering : 7th international conference, FASE 2004 : held as part of the joint European conferences on theory and practice of software, ETAPS 2004 : Barcelona, Spain, March 29-April 2, 2004 : proceedings. : Mar 2004, Barcelona, Spain. (Lecture Notes in Computer Science ; 2984)

Fundamental approaches to software engineering : 7th international conference, FASE 2004 : held as part of the joint European conferences on theory and practice of software, ETAPS 2004 : Barcelona, Spain, March 29-April 2, 2004 : proceedings. : Mar 2004, Barcelona, Spain. (Lecture Notes in Computer Science ; 2984)
Paper図書
Springerc2004.<M17-04-3035>
National Diet Library
  • Author Heading... Michel, 1966- Margaria-Steffen, Tiziana, 1964- FASE 2004 (2004 : Barcelona, ...

Reached to the end of result.