「Formal methods」のOpenURLのAPI検索結果 | NDLサーチ

検索結果 1,463 件

タイトルでまとめる

Formal Methodの鉄道信号製品への適用 (安全性の証明)

紙デジタル記事

池田岳雄, 岩村雅美, 小長谷健太, 河野吉慈郎<Z14-2023>信頼性 = The journal of Reliability Engineering Association of Japan : 日本信頼性学会誌41(2)=246:2019.3p.111-115

国立国会図書館全国の図書館

要約等本稿では，Formal Method の鉄道信号製品......の作業効率化に寄与した事例を Formal Method の導入背景とあわせて紹介する．
並列タイトル等（連結）Application of "Formal Method" for Railroad Signalin...
並列タイトル等Application of "Formal Method" for Railroad Signalin...

Algebraic Abstraction in Formal Methods

デジタル博士論文障害者向け資料あり

奥殿, 貴仁, オクドノ, タカマサ, Takamasa, OKUDONO2021-03-24

国立国会図書館

並列タイトル等（連結）Algebraic Abstraction in Formal Methods(形式手法における代数的抽象化)
並列タイトル等Algebraic Abstraction in Formal Methods(形式手法における代数的抽象化)

An introduction of a formal method in PBL: a case report (Software science)

紙記事

Shinya Yamada, Tomohiro Iwamoto, Tsunayuki Shinozawa 他<Z16-940>電子情報通信学会技術研究報告 = IEICE technical report : 信学技報111(107) 2011.6・7.30・1p.11～16

国立国会図書館全国の図書館

件名formal method PBL case report VDM++

NASA formal methods : 15th International Symposium, NFM 2023, Houston, TX, USA, May 16-18, 2023 : proceedings

紙図書

Kristin Yvonne Rozier, Swarat Chaudhuri, editorsSpringerc2023

全国の図書館

件名Formal methods (Computer science) -- Congres...
件名（識別子）Formal methods (Computer science) -- Congres...
並列タイトル等（連結）Formal methods

2023 IEEE/ACM 11th International Conference on Formal Methods in Software Engineering (FormaliSE)

デジタル電子書籍・電子雑誌図書

2023

国立国会図書館

Formal methods in macro-biology : first international conference, FMMB 2014 : Nouméa, New Caledonia, September 22-24, 2014 : proceedings : Sep 2014, Nouméa, New Caledonia. (Lecture Notes in Computer Science ; 8738. Lecture Notes in Bioinformatics)

紙図書

Springer[2014]<M17-15-1694>

国立国会図書館

並列タイトル等（連結）Formal methods in macro-biology : 1st intern...
並列タイトル等Formal methods in macro-biology : 1st intern...

Software technology : 10 years of innovation in IEEE Computer

紙図書

edited by Mike HincheyIEEE Computer Society, Inc.2018<M159-D15>

国立国会図書館

内容細目... Dissemination Methods: A Three Prong......inchey Part 5: Formal Methods Chapter 15: The Quest for Formal Methods in Software Pr......er Chapter 16: Formality, Agility, Security, and Ev...

Teaching formal methods : second international conference, TFM 2009 : Eindhoven, the Netherlands, November 2-6, 2009 : proceedings. : 2nd international FME conference on teaching formal methods : 1st formal methods week (FMWeek) : Nov 2009, Eindhoven, the Netherlands. (Lecture Notes in Computer Science ; 5846)

紙図書

Springerc2009.<M17-10-1645>

国立国会図書館

件名Formal methods (Computer scie......-- Congresses. Formale Methode. Informatikstudium. ...
並列タイトル等（連結）Teaching formal methods : 2nd international conferenc...
並列タイトル等Teaching formal methods : 2nd international conferenc...

Proceedings of the 23rd Conference on Formal Methods in Computer-Aided Design – FMCAD 2023

デジタル電子書籍・電子雑誌図書

2023

国立国会図書館

2023 21st ACM-IEEE International Symposium on Formal Methods and Models for System Design (MEMOCODE)

デジタル電子書籍・電子雑誌図書

2023

国立国会図書館

2009 fourth South-East European workshop on formal methods : (SEEFM 2009) : Thessaloniki, Greece : 4-5 December 2009. : 2009 4th South-East European workshop on formal methods : formal methods for web services : formal methods for agent-based systems : Dec 2009, Thessaloniki, Greece.

紙図書

IEEEc2009.<M17-10-4165>

国立国会図書館

件名Formal methods (Computer science) -- Congres...
並列タイトル等（連結）...an workshop on formal methods : (SEEFM 2009) : Thessaloniki...
並列タイトル等...an workshop on formal methods : (SEEFM 2009) : Thessaloniki...

2022 IEEE/ACM 10th International Conference on Formal Methods in Software Engineering (FormaliSE)

デジタル電子書籍・電子雑誌図書

2022

国立国会図書館

形式手法の社会システムへの応用に向けた取り組み

記録メディア記事

中村正樹<YH247-485>システム制御情報学会研究発表講演会講演論文集65:2021.5.26-28p.490-493

国立国会図書館全国の図書館

並列タイトル等（連結）Applications of formal methods to social systems
並列タイトル等Applications of formal methods to social systems

2019 Formal Methods in Computer Aided Design (FMCAD)

デジタル電子書籍・電子雑誌図書

2019

国立国会図書館

FM 2009: formal methods : second world congress : Eindhoven, the Netherlands, November 2-6, 2009 : proceedings. : 16th international symposium on formal methods : Nov 2009, Eindhoven, the Netherlands. (Lecture Notes in Computer Science ; 5850)

紙図書

Springerc2009.<M17-10-1647>

国立国会図書館

件名...-- Congresses. Formal methods (Computer science) -- Congres...
並列タイトル等（連結）FM 2009: formal methods : 2nd world congress : Eindho...
並列タイトル等FM 2009: formal methods : 2nd world congress : Eindho...

Transformational Object-Relational Database Model in Formal Methods

紙記事

Pujianto Yugopuspito, Keijiro Araki<Z74-C192>情報処理学会論文誌. SIG42(5) 2001.5p.71～80

国立国会図書館全国の図書館

要約等...Ls the use of formal methods can overcome t....... Furthermore formal specification ...... sequence. The formal specification is given in Z n...

2022 20th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE)

デジタル電子書籍・電子雑誌図書

2022

国立国会図書館

Proceedings of the 22nd Conference on Formal Methods in Computer-Aided Design – FMCAD 2022

デジタル電子書籍・電子雑誌図書

2022

国立国会図書館

2014 twelfth ACM/IEEE international conference on formal methods and models for codesign : (MEMOCODE 2014) : Lausanne, Switzerland : 19-21 October 2014 : 12th ACM/IEEE international conference on methods and models for system design : Oct 2014, Lausanne, Switzerland.

紙図書

IEEE[2014]<M17-16-1393>

国立国会図書館

並列タイトル等（連結）... conference on formal methods and models for codesign : (ME...
並列タイトル等... conference on formal methods and models for codesign : (ME...

NASA formal methods : third international symposium, NFM 2011 : Pasadena, CA, USA, April 18-20, 2011 : proceedings. : Apr 2011, Pasadena, CA. (Lecture Notes in Computer Science ; 6617)

紙図書

Springerc2011.<M17-11-2305>

国立国会図書館

一般注記Abstracts and papers. "The NASA Formal Methods Symposium is an annual event ...
並列タイトル等（連結）NASA formal methods : 3rd international symposium...
並列タイトル等NASA formal methods : 3rd international symposium...