Jump to main content

yr 〜
yr

Search results 3

Software engineering and formal methods : 13th international conference, SEFM 2015 : York, UK, September 7-11, 2015 : proceedings : Sep 2015, York, UK. (Lecture Notes in Computer Science ; 9276)

Software engineering and formal methods : 13th international conference, SEFM 2015 : York, UK, September 7-11, 2015 : proceedings : Sep 2015, York, UK. (Lecture Notes in Computer Science ; 9276)
Paper図書
Springer[2015]<M17-16-604>
National Diet Library
  • Author Heading...York, England) Calinescu, Radu C., 1968-

2009 fifth international conference on autonomic and autonomous systems : (ICAS) : Valencia, Spain : 20-25 April 2009. : Apr 2009, Valencia, Spain.

2009 fifth international conference on autonomic and autonomous systems : (ICAS) : Valencia, Spain : 20-25 April 2009. : Apr 2009, Valencia, Spain.
Paper図書
IEEEc2009.<M17-10-2097>
National Diet Library
  • Author HeadingCalinescu, Radu C., 1968- International Conference on A...

2010 15th IEEE international conference on engineering of complex computer systems : (ICECCS 2010) : Oxford, United Kingdom : 22-26 March 2010. : 5th international UML and AADL workshop : UML&AADL : main ICECCS 2010 conference : Mar 2010, Oxford, UK.

2010 15th IEEE international conference on engineering of complex computer systems : (ICECCS 2010) : Oxford, United Kingdom : 22-26 March 2010. : 5th international UML and AADL workshop : UML&AADL : main ICECCS 2010 conference : Mar 2010, Oxford, UK.
Paper図書
IEEEc2010.<M17-11-1529>
National Diet Library
  • Author HeadingCalinescu, Radu C., 1968- Paige, Richard F. Kwiatkowska...

Reached to the end of result.

RSS