yr 〜
yr

Search results 4

Formal methods for industrial critical systems : 18th international workshop, FMICS 2013 : Madrid, Spain, September 23-24, 2013 : proceedings : workshops of the ERCIM Working Group on Formal Methods for Industrial Critical Systems : Sep 2013, Madrid, Spain. (Lecture Notes in Computer Science ; 8187)

Formal methods for industrial critical systems : 18th international workshop, FMICS 2013 : Madrid, Spain, September 23-24, 2013 : proceedings : workshops of the ERCIM Working Group on Formal Methods for Industrial Critical Systems : Sep 2013, Madrid, Spain. (Lecture Notes in Computer Science ; 8187)
Paper図書
Springerc2013.<M17-14-722>
National Diet Library
  • Author Heading...Madrid, Spain) Pecheur, Charles. Dierkes, Michael.

IEEE/ACM international conference on automated software engineering 2010 : (ASE 2010) : Antwerp, Belgium : 20-24 September 2010. : 25th IEEE/ACM international conference on automated software engineering : Sep 2010, Antwerp, Belgium.

IEEE/ACM international conference on automated software engineering 2010 : (ASE 2010) : Antwerp, Belgium : 20-24 September 2010. : 25th IEEE/ACM international conference on automated software engineering : Sep 2010, Antwerp, Belgium.
Paper図書
Association for Computing Machineryc2010.<M17-11-2389>
National Diet Library
  • Author HeadingUniversiteit Antwerpen. Pecheur, Charles. Andrews, Jamie. Di Nitto, Eli...

RIACS workshop on the verification and validation of autonomous and adaptive systems [microform] / Charles Pecheur, Willem Visser, Reid Simmons ([NASA technical memorandum] ; NASA/TM-2001-210927)

RIACS workshop on the verification and validation of autonomous and adaptive systems [microform] / Charles Pecheur, Willem Visser, Reid Simmons ([NASA technical memorandum] ; NASA/TM-2001-210927)
Microform図書
2001<YCA-NAS 1.15:210927>
National Diet Library

Model-based validation of intelligence : papers from the 2001 AAAI Symposium, March 26-28, Stanford, California

Model-based validation of intelligence : papers from the 2001 AAAI Symposium, March 26-28, Stanford, California
Paper図書
Lina Khatib and Charles PecheurAAAI Pressc2001
Other Libraries in Japan

Reached to the end of result.