Вы здесь

Главная

формальный метод

Связанные издания:

Engineering Trustworthy Software Systems: Tutorial Lecture/1st International School, SETSS 2014, Chongqing, China, September 2014
Engineering Trustworthy Software Systems: Tutorial Lectures/3rd International School, SETSS 2017, Chongqing, China, April 2017
Engineering Trustworthy Software Systems: Tutorial Lectures/4th International School, SETSS 2018, Chongqing, China, April 2018
Engineering Trustworthy Software Systems: Tutorial Lectures/5th International School, SETSS 2019, Chongqing, China, April 2019
Fields of Logic and Computation: Essays Dedicated to Yuri Gurevich on the Occasion of His 70th Birthday
Fields of Logic and Computation II: Essays Dedicated to Yuri Gurevich on the Occasion of His 75th Birthday
FM 2005: Formal Methods: International Symposium of Formal Methods Europe. Newcastle, UK, July 2005
FM 2006: Formal Methods: Proc./14th International Symposium on Formal Methods. Hamilton, Canada, August 2006
FM 2008: Formal Methods: Proc./15th International Symposium on Formal Methods. Turku, Finland, May 2008
FM 2009: Formal Methods: Proc./2nd World Congress. Eindhoven, The Netherlands, November 2009
FM 2014: Formal Methods: Proc./19th International Symposium, Singapore, May 2014
FM 2015: Formal Methods: Proc./20th International Symposium, Oslo, Norway, June 2015
FM 2016: Formal Methods: Proc./21st International Symposium, Limassol, Cyprus, November 2016
Formak Methods and Software Engineering: Proc./ 9th International Conference ICFEM 2007. Boca Raton, FL, USA, November 2007
Formal Approaches to Software Testing and Runtime Verification: Revised Selected Papers/First Combined International Workshops FATES 2006 and RV 2006, Seattle,WA,USA,August 2006
Formal Approaches to Software Testing: Proc./Third Intern. Workshop on Formal Approaches to Testing of Software, FATES 2003, Montreal, Quebec, Canada, October 2003
Formal Approaches to Software Testing: Revised Selected Papers/5th International Workshop, FATES 2005. Edinburgh, UK, July 2005
Formal Aspects in Security and Trust: Revised Selected Papers/5th International Workshop, FAST 2008, Malaga, Spain, October 2008
Formal Aspects of Component Software: Proc./14th International Conference, FACS 2017, Braga, Portugal, October 2017
Formal Aspects of Component Software: Proc./16th International Conference, FACS 2019, Amsterdam, The Netherlands, October 2019
Formal Aspects of Component Software: Revised Selected Papers/13th International Conference, FACS 2016, Besancon, France, October 2016
Formalising an Integrated Language in PVS
Formal Methods and Hybrid Real-Time Systems: Essays in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70th Birthdays
Formal Methods and Software Engineering: Proc./10th International Conference on Formal Engineering Methods, ICFEM 2008. Kitakyushu-City, Japan, October 2008
Formal Methods and Software Engineering: Proc./11th International Conference, ICFEM 2009, Rio de Janeiro, Brazil, December 2009
Formal Methods and Software Engineering: Proc./12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 2010
Formal Methods and Software Engineering: Proc./16th International Conference on FEM, ICFEM 2014, Luxembourg, November 2014
Formal Methods and Software Engineering: Proc./17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 2015
Formal Methods and Software Engineering: Proc./20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, QLD, Australia, November 2018
Formal Methods and Software Engineering: Proc./5th Intern. Conf. on Formal Engineering Methods, ICFEM 2003, Singapore, November 2003
Formal Methods and Software Engineering: Proc./6th International Conference on Formal Engineering Methods, ICFEM 2004. Seattle, WA, USA, November 2004
Formal Methods and Software Engineering: Proc./7th International Conference on Formal Engineering Methods, ICFEM 2005. Manchester, UK, November 2005
Formal Methods and Software Engineering: Proc./8th International Conference ICFEM 2006, Macao,China,November 2006
Formal Methods and Stochastic Models for Performance Evaluation: Proc./4th European Performance Engineering Workshop, EPEW 2007. Berlin, Germany, September 2007
Formal Methods and Stochastic Models for Performance Evaluation: Proc./Third European Performance Engineering Workshop, EPEW 2005. Budapest, Hungary, June 2006
Formal Methods and Testing: Hypotheses, and Correctness Approximations
Formal Methods and Testing: Revised Selected Papers/An Outcome of the FOREST Network
Formal Methods: Applications and Technology: Revised Selected Papers/11th Intl WS FMICS 2006 & 5th Intl WS PDMC 2006. Bonn, Germany, August 2006
Formal Methods: FM 2019 International Workshops, Part II: Revised Selected Papers/Porto, Portugal, October 2019
Formal Methods: FM 2019 International Workshops, Part I: Revised Selected Papers/Porto, Portugal, October 2019
Formal Methods for Components and Objects: Proc./First Intern. Symp., FMCO 2002, Leiden, The Netherlands, November 2002
Formal Methods for Components and Objects: Revised Lectures/4th International Symposium, FMCO 2005. Amsterdam, The Netherlands, November 2005
Formal Methods for Components and Objects: Revised Lectures/5th International Symposium, FMCO 2006. Amsterdam, The Netherlands, November 2006
Formal Methods for Components and Objects: Revised Lectures/7th International Symposium, FMCO 2008, Sophia Antipolis, France, October 2008
Formal Methods for Components and Objects: Revised Lectures. Second International Symposium, FMCO 2003. Leiden, The Netherlands, November 2003
Formal Methods for Components and Objects: Revised Lectures/Third International Symposium, FMCO 2004. Leiden, The Netherlands, November 2004
Formal Methods for Components and Objects: Revised Papers/11th International Symposium, FMCO 2012, Bertinoro, Italy, September 2012
Formal Methods for Components and Objects: Revised Papers/6th International Symposium, FMCO 2007. Amsterdam, The Netherlands, October 2007
Formal Methods for Computationad Biology: Advanced Lectures/8th Intl School on FM for the Design of Computer, Communication & Software Systems, SFM 2008. Bertinoro, Italy , June 2008
Formal Methods for Executable Software Models: Advanced Lectures/14th International School on FM for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 2014