yr 〜
yr

Search results 108

2014 formal methods in computer-aided design : (FMCAD 2014) : Lausanne, Switzerland : 21-24 October 2014 : international conference on formal methods in computer-aided design : FMCAD 2014 graduate student forum : Oct 2014, Lausanne, Switzerland.

2014 formal methods in computer-aided design : (FMCAD 2014) : Lausanne, Switzerland : 21-24 October 2014 : international conference on formal methods in computer-aided design : FMCAD 2014 graduate student forum : Oct 2014, Lausanne, Switzerland.
Paper図書
IEEE[2014]<M17-16-1394>
National Diet Library

Formal methods for eternal networked software systems : 11th international school on formal methods for the design of computer, communication and software systems, SFM 2011 : Bertinoro, Italy, June 13-18, 2011 : advanced lectures. : Jun 2011, Bertinoro, Italy. (Lecture Notes in Computer Science ; 6659. Tutorial)

Formal methods for eternal networked software systems : 11th international school on formal methods for the design of computer, communication and software systems, SFM 2011 : Bertinoro, Italy, June 13-18, 2011 : advanced lectures. : Jun 2011, Bertinoro, Italy. (Lecture Notes in Computer Science ; 6659. Tutorial)
Paper図書
Springerc2011.<M17-11-3208>
National Diet Library
  • Subject Heading...-- Congresses. Integrated circuits -- Verification -- Congresses. Electronic boo...

2013 formal methods in computer-aided design : (FMCAD 2013) : Portland, Oregon, USA : 20-23 October 2013 : international conference on formal methods in computer-aided design : FMCAD graduate student forum : joint MEMOCODE/FMCAD tutorial : Oct 2013, Portland, OR.

2013 formal methods in computer-aided design : (FMCAD 2013) : Portland, Oregon, USA : 20-23 October 2013 : international conference on formal methods in computer-aided design : FMCAD graduate student forum : joint MEMOCODE/FMCAD tutorial : Oct 2013, Portland, OR.
Paper図書
IEEE[2013]<M17-15-1026>
National Diet Library

2013 IEEE international symposium on hardware-oriented security and trust : (HOST 2013) : Austin, Texas, USA : 2-3 June 2013 : HOST meeting : Jun 2013, Austin, TX.

2013 IEEE international symposium on hardware-oriented security and trust : (HOST 2013) : Austin, Texas, USA : 2-3 June 2013 : HOST meeting : Jun 2013, Austin, TX.
Paper図書
IEEEc2013.<M17-14-1004>
National Diet Library

2016 IEEE international symposium on hardware oriented security and trust : (HOST 2016) : McLean, Virginia, USA : 3-5 May 2016 : 2016 IEEE international symposium on hardware-oriented security and trust : May 2016, McLean, VA.

2016 IEEE international symposium on hardware oriented security and trust : (HOST 2016) : McLean, Virginia, USA : 3-5 May 2016 : 2016 IEEE international symposium on hardware-oriented security and trust : May 2016, McLean, VA.
Paper図書
IEEE[2016]<M17-17-2437>
National Diet Library

Formal methods for computational systems biology : 8th international school on formal methods for the design of computer, communication, and software systems, SFM 2008 : Bertinoro, Italy, June 2-7, 2008 : advanced lectures. : Jun 2008, Bertinoro, Italy. (Lecture Notes in Computer Science ; 5016. Tutorial)

Formal methods for computational systems biology : 8th international school on formal methods for the design of computer, communication, and software systems, SFM 2008 : Bertinoro, Italy, June 2-7, 2008 : advanced lectures. : Jun 2008, Bertinoro, Italy. (Lecture Notes in Computer Science ; 5016. Tutorial)
Paper図書
Springerc2008.<M17-08-1785>
National Diet Library
  • Subject HeadingFormal methods (Computer science) -- Congresses. Integrated circuits -- Verification -- Congresses.

2015 IEEE international symposium on hardware oriented security and trust : (HOST 2015) : Washington, DC, USA : 5-7 May 2015 : 2015 IEEE international symposium on hardware-oriented security and trust : May 2015, Washington, DC.

2015 IEEE international symposium on hardware oriented security and trust : (HOST 2015) : Washington, DC, USA : 5-7 May 2015 : 2015 IEEE international symposium on hardware-oriented security and trust : May 2015, Washington, DC.
Paper図書
IEEE[2015]<M17-17-1097>
National Diet Library

Verification techniques for system-level design / Masahiro Fujita, Indradeep Ghosh, and Mukul Prasad. (The Morgan Kaufmann series in systems on silicon)

Verification techniques for system-level design / Masahiro Fujita, Indradeep Ghosh, and Mukul Prasad. (The Morgan Kaufmann series in systems on silicon)
Paper図書
Elsevier/Morgan Kaufmann Publishersc2008.<ND386-B9>
National Diet Library
  • Subject HeadingSystems on a chip -- Testing. Integrated circuits -- Verification. Formal methods (Computer sci...

Formal methods for performance evaluation : 7th international school on formal methods for the design of computer, communication and software systems, SFM 2007 : Bertinoro, Italy, May 28-June 2, 2007 : advanced lectures. : May 2007, Bertinoro, Italy. (Lecture Notes in Computer Science ; 4486. Tutorial)

Formal methods for performance evaluation : 7th international school on formal methods for the design of computer, communication and software systems, SFM 2007 : Bertinoro, Italy, May 28-June 2, 2007 : advanced lectures. : May 2007, Bertinoro, Italy. (Lecture Notes in Computer Science ; 4486. Tutorial)
Paper図書
Springerc2007.<M17-07-2107>
National Diet Library
  • Subject HeadingFormal methods (Computer science) -- Congresses. Integrated circuits -- Verification -- Congresses.

Computer aided verification : 19th international conference, CAV 2007 : Berlin, Germany, July 3-7, 2007 : proceedings. : Jul 2007, Berlin, Germany. (Lecture Notes in Computer Science ; 4590)

Computer aided verification : 19th international conference, CAV 2007 : Berlin, Germany, July 3-7, 2007 : proceedings. : Jul 2007, Berlin, Germany. (Lecture Notes in Computer Science ; 4590)
Paper図書
Springerc2007.<M17-07-2815>
National Diet Library
  • Subject HeadingComputer software -- Verification -- Congresses. Integrated circuits -- Verification -- Congresses.

2013 14th international workshop on microprocessor test and verification : (MTV 2013) : Austin, Texas, USA : 11-13 December 2013 : MTV forum : Dec 2013, Austin, TX.

2013 14th international workshop on microprocessor test and verification : (MTV 2013) : Austin, Texas, USA : 11-13 December 2013 : MTV forum : Dec 2013, Austin, TX.
Paper図書
IEEE[2013]<M17-15-2965>
National Diet Library

2014 IEEE international symposium on hardware-oriented security and trust : (HOST 2014) : Arlington, Virginia, USA : 6-7 May 2014 : May 2014, Arlington, VA.

2014 IEEE international symposium on hardware-oriented security and trust : (HOST 2014) : Arlington, Virginia, USA : 6-7 May 2014 : May 2014, Arlington, VA.
Paper図書
IEEE[2014]<M17-15-2065>
National Diet Library

2012 IEEE international symposium on hardware-oriented security and trust : (HOST 2012) : San Francisco, California, USA : 3-4 June 2012 : HOST meeting : Jun 2012, San Francisco, CA.

2012 IEEE international symposium on hardware-oriented security and trust : (HOST 2012) : San Francisco, California, USA : 3-4 June 2012 : HOST meeting : Jun 2012, San Francisco, CA.
Paper図書
IEEEc2012.<M17-13-319>
National Diet Library

2016 IEEE international high level design validation and test workshop (HLDVT 2016) : Santa Cruz, California, USA : 7-8 October 2016 : 18th IEEE international high level design validation and test workshop : Oct 2016, Santa Cruz, CA.

2016 IEEE international high level design validation and test workshop (HLDVT 2016) : Santa Cruz, California, USA : 7-8 October 2016 : 18th IEEE international high level design validation and test workshop : Oct 2016, Santa Cruz, CA.
Paper図書
IEEE[2016]<M17-18-888>
National Diet Library

Formal methods for hardware verification : 6th international school on formal methods for the design of computer, communication, and software systems, SFM 2006 : Bertinoro, Italy, May 22-27, 2006 : advanced lectures. : May 2006, Bertinoro, Italy. (Lecture Notes in Computer Science ; 3965. Tutorial)

Formal methods for hardware verification : 6th international school on formal methods for the design of computer, communication, and software systems, SFM 2006 : Bertinoro, Italy, May 22-27, 2006 : advanced lectures. : May 2006, Bertinoro, Italy. (Lecture Notes in Computer Science ; 3965. Tutorial)
Paper図書
Springerc2006.<M17-06-2256>
National Diet Library
  • Subject HeadingFormal methods (Computer science) -- Congresses. Integrated circuits -- Verification -- Congresses.

2012 13th international workshop on microprocessor test and verification : (MTV 2012) : Austin, Texas, USA : 10-13 December 2012 : MTV forum : MTV events : MTV2012 : Dec 2012, Austin, TX. E4877

2012 13th international workshop on microprocessor test and verification : (MTV 2012) : Austin, Texas, USA : 10-13 December 2012 : MTV forum : MTV events : MTV2012 : Dec 2012, Austin, TX. E4877
Paper図書
IEEEc2012.<M17-14-272>
National Diet Library

Computer aided verification : 18th international conference, CAV 2006 : Seattle, WA, USA, August 17-20, 2006 : proceedings. : federated logic conference (FLoC 2006) : Aug 2006, Seattle, WA. (Lecture Notes in Computer Science ; 4144)

Computer aided verification : 18th international conference, CAV 2006 : Seattle, WA, USA, August 17-20, 2006 : proceedings. : federated logic conference (FLoC 2006) : Aug 2006, Seattle, WA. (Lecture Notes in Computer Science ; 4144)
Paper図書
Springerc2006.<M17-07-171>
National Diet Library
  • Subject HeadingComputer software -- Verification -- Congresses. Integrated circuits -- Verification -- Congresses.

Computer aided verification : 21st international conference, CAV 2009 : Grenoble, France, June 26-July 2, 2009 : proceedings. : 21st international conference on computer-aided verification : Jun 2009, Grenoble, France. (Lecture Notes in Computer Science ; 5643)

Computer aided verification : 21st international conference, CAV 2009 : Grenoble, France, June 26-July 2, 2009 : proceedings. : 21st international conference on computer-aided verification : Jun 2009, Grenoble, France. (Lecture Notes in Computer Science ; 5643)
Paper図書
Springerc2009.<M17-10-1485>
National Diet Library
  • Subject Heading...-- Congresses. Integrated circuits -- Verification -- Congresses. Verifikation -...

2012 formal methods in computer-aided design : (FMCAD 2012) : Cambridge, United Kingdom : 22-25 October 2012 : international conference on formal methods in computer-aided design : 12th conference on formal methods in computer-aided design : Oct 2012, Cambridge, UK.

2012 formal methods in computer-aided design : (FMCAD 2012) : Cambridge, United Kingdom : 22-25 October 2012 : international conference on formal methods in computer-aided design : 12th conference on formal methods in computer-aided design : Oct 2012, Cambridge, UK.
Paper図書
IEEEc2012.<M17-13-3179>
National Diet Library

2011 IEEE international symposium on hardware-oriented security and trust : (HOST 2011) : San Diego, California, USA : 5-6 June 2011 : 2011 IEEE international symposium on hardware- oriented security and trust : HOST meeting : Jun 2011, San Diego CA.

2011 IEEE international symposium on hardware-oriented security and trust : (HOST 2011) : San Diego, California, USA : 5-6 June 2011 : 2011 IEEE international symposium on hardware- oriented security and trust : HOST meeting : Jun 2011, San Diego CA.
Paper図書
IEEEc2011.<M17-12-1443>
National Diet Library