年 〜
年

検索結果 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)
紙図書
Springerc2013.<M17-14-722>
国立国会図書館
  • 著者標目...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.
紙図書
Association for Computing Machineryc2010.<M17-11-2389>
国立国会図書館
  • 著者標目Universiteit 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)
マイクロ図書
2001<YCA-NAS 1.15:210927>
国立国会図書館

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
紙図書
Lina Khatib and Charles PecheurAAAI Pressc2001
全国の図書館

検索結果は以上です。