Formal methods for industrial critical systems 17th International Workshop, FMICS 2012, Paris, France, August 27-28, 2012. proceedings /

Formal methods for industrial critical systems 17th International Workshop, FMICS 2012, Paris, France, August 27-28, 2012. proceedings /

This book constitutes the proceedings of the 17th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2012, held in Paris, France, in August 2012. <br>The 14 papers presented were carefully reviewed and selected from 37 submissions. The aim of the FMICS workshop ser...

Kaydedildi:

Detaylı Bibliyografya
Müşterek Yazar:	SpringerLink (Online service)
Diğer Yazarlar:	Pinger, Ralf, Stoelinga, Mariëlle
Materyal Türü:	Ekitap
Dil:	English
Baskı/Yayın Bilgisi:	Berlin, Heidelberg Imprint: Springer 2012.
Seri Bilgileri:	Lecture Notes in Computer Science, 7437
Konular:	Computer science. Software engineering. Logic design. Information Systems.
Online Erişim:	Click here to view the full text content
Etiketler:	Etiketle Etiket eklenmemiş, İlk siz ekleyin!

Benzer Materyaller

FM 2012: formal methods 18th International Symposium, Paris, France, August 27-31, 2012. proceedings /
Baskı/Yayın Bilgisi: (2012)

Formal methods for industrial critical systems : 18th International Workshop, FMICS 2013, Madrid, Spain, September 23-24, 2013. Proceedings /
Baskı/Yayın Bilgisi: (2013)

Formal methods for industrial critical systems 15th international workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010. Proceedings /
Baskı/Yayın Bilgisi: (2010)

Formal methods for industrial critical systems : 19th International Conference, FMICS 2014, Florence, Italy, September 11-12, 2014. Proceedings /
Baskı/Yayın Bilgisi: (2014)

Formal methods for industrial critical systems : 20th International Workshop, FMICS 2015 Oslo, Norway, June 22-23, 2015 Proceedings /
Baskı/Yayın Bilgisi: (2015)

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
Yazar:: Brim, Lubos
Baskı/Yayın Bilgisi: (2007)

Formal Methods: foundations and applications 15th Brazilian Symposium, SBMF 2012, Natal, Brazil, September 23-28, 2012. Proceedings /
Baskı/Yayın Bilgisi: (2012)

Web services and formal methods : 9th International Workshop, WS-FM 2012, Tallinn, Estonia, September 6-7, 2012, Revised Selected Papers /
Baskı/Yayın Bilgisi: (2013)

Integrated formal methods : 9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings /
Baskı/Yayın Bilgisi: (2012)

Formal methods for components and objects : 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures /
Baskı/Yayın Bilgisi: (2013)

Web services and formal methods : 10th International Workshop, WS-FM 2013, Beijing, China, August 2013, Revised Selected Papers /
Baskı/Yayın Bilgisi: (2014)

Integrated formal methods 8th international conference, IFM 2010, Nancy, France, October 11-14, 2010. Proceedings /
Baskı/Yayın Bilgisi: (2010)

FM 2014: formal methods : 19th International Symposium, Singapore, May 12-16, 2014. Proceedings /
Baskı/Yayın Bilgisi: (2014)

NASA formal methods : 4th International symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012. Proceedings /
Baskı/Yayın Bilgisi: (2012)

FM 2005: Formal Methods International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005, Proceedings
Yazar:: Fitzgerald, John
Baskı/Yayın Bilgisi: (2005)

Formal verification of object-oriented software International Conference, FoVeOOS 2010, Paris, France, June 28-30, 2010, Revised Selected Papers /
Baskı/Yayın Bilgisi: (2011)

FM 2015: Formal methods : 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings /
Baskı/Yayın Bilgisi: (2015)

Formal aspects of component software : 9th International Symposium, FACS 2012, Mountain View, CA, USA, September 12-14, 2012. Revised Selected Papers /
Baskı/Yayın Bilgisi: (2013)

Formal modeling and analysis of timed systems 10th International Conference, FORMATS 2012, London, UK, September 18-20, 2012. Proceedings /
Baskı/Yayın Bilgisi: (2012)

Unifying theories of programming : 4th International Symposium, UTP 2012, Paris, France, August 27-28, 2012, Revised Selected Papers /
Baskı/Yayın Bilgisi: (2013)

Formal methods for executable software models : 14th International school on formal methods for the design of computer, communication, and software systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures /
Baskı/Yayın Bilgisi: (2014)

Integrated formal methods : 11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings /
Baskı/Yayın Bilgisi: (2014)

Integrated formal methods : 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013. Proceedings /
Baskı/Yayın Bilgisi: (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 /
Baskı/Yayın Bilgisi: (2013)

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

Formal methods and Software Engineering 9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, FL, USA, November 14-15, 2007. Proceedings.
Yazar:: Butler, Michael
Baskı/Yayın Bilgisi: (2007)

Software engineering and formal methods 10th International Conference, SEFM 2012, Thessaloniki, Greece, October 1-5, 2012. Proceedings /
Baskı/Yayın Bilgisi: (2012)

Descriptional complexity of formal systems 14th International Workshop, DCFS 2012, Braga, Portugal, July 23-25, 2012. Proceedings /
Yazar:: Kutrib, Martin
Baskı/Yayın Bilgisi: (2012)

Formal aspects of component software : 10th International Symposium, FACS 2013, Nanchang, China, October 27-29, 2013, Revised Selected Papers /
Baskı/Yayın Bilgisi: (2014)

Structured object-oriented formal language and method : Second International Workshop, SOFL 2012, Kyoto, Japan, November 13, 2012. Revised Selected Papers /
Baskı/Yayın Bilgisi: (2013)

Reachability problems 6th International workshop, RP 2012, Bordeaux, France, September 17-19, 2012. Proceedings /
Baskı/Yayın Bilgisi: (2012)

Software engineering and formal methods : 12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014. Proceedings /
Baskı/Yayın Bilgisi: (2014)

Software engineering and formal methods : 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013. Proceedings /
Baskı/Yayın Bilgisi: (2013)

Descriptional complexity of formal systems : 17th International Workshop, DCFS 2015, Waterloo, ON, Canada, June 25-27, 2015. Proceedings /
Baskı/Yayın Bilgisi: (2015)

Computational logic in multi-agent systems 13th International Workshop, CLIMA XIII, Montpellier, France, August 27-28, 2012. Proceedings /
Baskı/Yayın Bilgisi: (2012)

Formal modeling and analysis of timed systems : 11th International Conference, FORMATS 2013, Buenos Aires, Argentina, August 29-31, 2013. Proceedings /
Baskı/Yayın Bilgisi: (2013)

Formal methods for model-driven engineering : 12th International school on formal methods for the design of computer, communication, and software systems, SFM 2012, Bertinoro, Italy, June 18-23, 2012. Advanced Lectures /
Baskı/Yayın Bilgisi: (2012)

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 /
Baskı/Yayın Bilgisi: (2012)

NASA formal methods : 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings /
Baskı/Yayın Bilgisi: (2013)

NASA formal methods: 6th International Symposium, NFM 2014, Houston, TX, USA, April 29 - May 1, 2014. Proceedings /
Baskı/Yayın Bilgisi: (2014)