NASA formal methods : 4th International symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012. Proceedings /

NASA formal methods : 4th International symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012. Proceedings /

This book constitutes the refereed proceedings of the Fourth International Symposium on NASA Formal Methods, NFM 2012, held in Norfolk, VA, USA, in April 2012. The 36 revised regular papers presented together with 10 short papers, 3 invited talks were carefully reviewed and selected from 93 submissi...

保存先:

書誌詳細
団体著者:	SpringerLink (Online service)
その他の著者:	Person, Suzette, Goodloe, Alwyn E.
フォーマット:	eBook
言語:	English
出版事項:	Berlin, Heidelberg Springer Berlin Heidelberg 2012.
シリーズ:	Lecture Notes in Computer Science 7226
主題:	Computer science. Software engineering. Operating systems (Computers). Logic design.
オンライン･アクセス:	Click here to view the full text content
タグ:	タグ追加タグなし, このレコードへの初めてのタグを付けませんか!

類似資料

NASA formal methods: 6th International Symposium, NFM 2014, Houston, TX, USA, April 29 - May 1, 2014. Proceedings /
出版事項: (2014)

NASA formal methods : 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings /
出版事項: (2013)

Integrated formal methods : 9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings /
出版事項: (2012)

Formal methods for components and objects : 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers /
出版事項: (2013)

Formal methods for components and objects 8th international symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. revised selected papers /
出版事項: (2010)

Formal methods for components and objects : 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures /
出版事項: (2013)

Formal Methods for Components and Objects 5th International Symposium, FMCO 2006, Amsterdam, The Netherlands, November 7-10, 2006, Revised Lectures /
著者:: Boer, Frank S.
出版事項: (2007)

Formal methods for components and objects : Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2-5, 2004, Revised Lectures /

FM 2012: formal methods 18th International Symposium, Paris, France, August 27-31, 2012. proceedings /
出版事項: (2012)

Formal methods for components and objects : 9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010. Revised Papers /
出版事項: (2012)

Leveraging applications of formal methods, verification and validation. Technologies for mastering change 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I /
出版事項: (2012)

Leveraging applications of formal methods, verification and validation. Applications and case studies 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part II /
出版事項: (2012)

Formal Methods: foundations and applications 15th Brazilian Symposium, SBMF 2012, Natal, Brazil, September 23-28, 2012. Proceedings /
出版事項: (2012)

Formal methods and Software Engineering 9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, FL, USA, November 14-15, 2007. Proceedings.
著者:: Butler, Michael
出版事項: (2007)

Integrated formal methods : 5th International Conference, IFM 2005, Eindhoven, The Netherlands, November 29 - December 2, 2005. Proceedings

Formal methods applications and technology : 11th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2006, and 5th International Workshop on Parallel and Distributed Methods in Verification
著者:: Brim, Lubos
出版事項: (2007)

Integrated formal methods 8th international conference, IFM 2010, Nancy, France, October 11-14, 2010. Proceedings /
出版事項: (2010)

Software engineering and formal methods 10th International Conference, SEFM 2012, Thessaloniki, Greece, October 1-5, 2012. Proceedings /
出版事項: (2012)

Formal modeling and analysis of timed systems 10th International Conference, FORMATS 2012, London, UK, September 18-20, 2012. Proceedings /
出版事項: (2012)

Formal methods for industrial critical systems 17th International Workshop, FMICS 2012, Paris, France, August 27-28, 2012. proceedings /
出版事項: (2012)

Integrated formal methods : 11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings /
出版事項: (2014)

Integrated formal methods : 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013. Proceedings /
出版事項: (2013)

FM 2005: Formal Methods International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005, Proceedings
著者:: Fitzgerald, John
出版事項: (2005)

Web services and formal methods : 9th International Workshop, WS-FM 2012, Tallinn, Estonia, September 6-7, 2012, Revised Selected Papers /
出版事項: (2013)

Formal aspects of component software : 9th International Symposium, FACS 2012, Mountain View, CA, USA, September 12-14, 2012. Revised Selected Papers /
出版事項: (2013)

FM 2014: formal methods : 19th International Symposium, Singapore, May 12-16, 2014. Proceedings /
出版事項: (2014)

Formal methods for mobile computing 5th International School on formal methods for the design of computer, communication, and software systems, SFM-Moby 2005, Bertinoro, Italy, April 26-30, 2005, Advanced Lectures
著者:: Bernardo, Marco
出版事項: (2005)

Formal methods for industrial critical systems : 18th International Workshop, FMICS 2013, Madrid, Spain, September 23-24, 2013. Proceedings /
出版事項: (2013)

Formal methods for industrial critical systems 15th international workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010. Proceedings /
出版事項: (2010)

Formal methods for industrial critical systems : 19th International Conference, FMICS 2014, Florence, Italy, September 11-12, 2014. Proceedings /
出版事項: (2014)

Descriptional complexity of formal systems 14th International Workshop, DCFS 2012, Braga, Portugal, July 23-25, 2012. Proceedings /
著者:: Kutrib, Martin
出版事項: (2012)

Formal modeling and analysis of timed systems : 5th International Conference, FORMATS 2007, Salzburg, Austria, October 3-5, 2007. Proceedings /
出版事項: (2007)

Software engineering and formal methods : 12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014. Proceedings /
出版事項: (2014)

FM 2015: Formal methods : 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings /
出版事項: (2015)

Structured object-oriented formal language and method : Second International Workshop, SOFL 2012, Kyoto, Japan, November 13, 2012. Revised Selected Papers /
出版事項: (2013)

Formal methods for dynamical systems : 13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2013, Bertinoro, Italy, June 17-22, 2013. Advanced Lectures /
出版事項: (2013)

Software engineering and formal methods : 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013. Proceedings /
出版事項: (2013)

ZB 2005: Formal Specification and Development in Z and B 4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005, Proceedings
出版事項: (2005)

Formal techniques for distributed systems : Joint 14th IFIP WG 6.1 International Conference, FMOODS 2012 and 32nd IFIP WG 6.1 International Conference, FORTE 2012, Stockholm, Sweden, June 13-16, 2012. Proceedings /
出版事項: (2012)

Formal Methods for Open Object-Based Distributed Systems (vol. # 3535) 7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15-17, 2005, Proceedings
出版事項: (2005)