Loading…
Software engineering and formal methods 15th International Conference, SEFM 2017, Trento, Italy, September 4-8, 2017, Proceedings /
This book constitutes the refereed proceedings of the 15th International Conference on Software Engineering and Formal Methods, SEFM 2017, held in Trento, Italy, in September 2017. The 17 full papers and 6 short papers presented were carefully reviewed and selected from 102 submissions. The papers d...
Saved in:
| Corporate Authors: | , |
|---|---|
| Other Authors: | , |
| Format: | Conference Proceeding eBook |
| Language: | English |
| Published: |
Cham :
Springer,
2017.
|
| Series: | Lecture notes in computer science ;
10469. Lecture notes in computer science. Formal methods. LNCS sublibrary. Theoretical computer science and general issues. |
| Physical Description: |
1 online resource (xix, 410 pages) : illustrations. |
| Subjects: | |
| Online Access: | SpringerLink - Click here for access |
Similar Items
Search Result 1
Software engineering and formal methods : SEFM 2017 Collocated Workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September 4-5, 2017, Revised selected papers
Published: Springer, 2018
SpringerLink - Click here for access
Description:
1 online resource (x, 592 pages) : 204 illustrations.
Conference Proceeding
eBook
Search Result 2
Software engineering and formal methods : 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013. Proceedings
Published: Springer Berlin Heidelberg : Imprint : Springer, 2013
SpringerLink - Click here for access
Description:
1 online resource (xviii, 321 pages) : illustrations.
Conference Proceeding
eBook
Search Result 3
Software engineering and formal methods : 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings
Published: Springer, 2015
SpringerLink - Click here for access
Description:
1 online resource (xi, 369 pages) : illustrations.
Conference Proceeding
eBook
Search Result 4
Software engineering and formal methods : 12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014. Proceedings
Published: Springer, 2014
SpringerLink - Click here for access
Description:
1 online resource (xxii, 394 pages) : illustrations.
Conference Proceeding
eBook
Search Result 5
Software engineering and formal methods : 20th International Conference, SEFM 2022, Berlin, Germany, September 26-30, 2022, proceedings
Published: Springer, 2022
SpringerLink - Click here for access
Description:
1 online resource (xvii, 369 pages) : illustrations (chiefly color).
Conference Proceeding
eBook
Search Result 6
Software engineering and formal methods : 17th International Conference, SEFM 2019, Oslo, Norway, September 18-20, 2019, proceedings
Published: Springer, 2019
SpringerLink - Click here for access
Description:
1 online resource (xviii, 550 pages) : illustrations (some color).
Conference Proceeding
eBook
Search Result 7
Software engineering and formal methods : 14th International Conference, SEFM 2016, held as part of STAF 2016, Vienna, Austria, July 4-8, 2016, Proceedings
Published: Springer, 2016
SpringerLink - Click here for access
Description:
1 online resource (xv, 419 pages) : illustrations.
Conference Proceeding
eBook
Search Result 8
Formal methods and software engineering : 19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi'an, China, November 13-17, 2017, Proceedings
Published: Springer, 2017
SpringerLink - Click here for access
Description:
1 online resource (xvii, 498 pages) : illustrations.
Conference Proceeding
eBook
Search Result 9
Software engineering and formal methods : 9th international conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011 : proceedings
Published: Springer, 2011
SpringerLink - Click here for access
Description:
1 online resource (xiv, 504 pages) : illustrations (some color).
Conference Proceeding
eBook
Search Result 10
Software engineering and formal methods : 10th International Conference, SEFM 2012, Thessaloniki, Greece, October 1-5, 2012. Proceedings
Published: Springer, 2012
SpringerLink - Click here for access
Description:
1 online resource.
Conference Proceeding
eBook
Search Result 11
Software engineering and formal methods : 19th International Conference, SEFM 2021, Virtual event, December 6-10, 2021, Proceedings
Published: Springer, 2021
SpringerLink - Click here for access
Description:
1 online resource (xv, 522 pages) : illustrations (some color).
Conference Proceeding
eBook
Search Result 12
Software engineering and formal methods : 21st International Conference, SEFM 2023, Eindhoven, The Netherlands, November 6-10, 2023, Proceedings
Published: Springer, 2023
SpringerLink - Click here for access
Description:
1 online resource (xii, 378 pages) : illustrations (some color).
Conference Proceeding
eBook
Search Result 13
Software engineering and formal methods : 16th International Conference, SEFM 2018, held as part of STAF 2018, Toulouse, France, June 27-29, 2018, Proceedings
Published: Springer, 2018
SpringerLink - Click here for access
Description:
1 online resource (xiv, 303 pages) : illustrations.
Conference Proceeding
eBook
Search Result 14
Formal methods and software engineering : 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006 : proceedings
Published: Springer, 2006
SpringerLink - Click here for access
Description:
1 online resource (xii, 778 pages) : illustrations.
Conference Proceeding
eBook
Search Result 15
Formal methods and software engineering : 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005 : proceedings
Published: Springer, 2005
SpringerLink - Click here for access
Description:
1 online resource (xiv, 496 pages) : illustrations.
Conference Proceeding
eBook
Search Result 16
Software engineering and formal methods : SEFM 2015 Collocated Workshops: ATSE, HOFM, MoKMaSD, and VERY*SCART, York, UK, September 7-8, 2015. Revised selected papers
Published: Springer, 2015
SpringerLink - Click here for access
Description:
1 online resource (xxix, 325 pages) : color illustrations.
Conference Proceeding
eBook
Search Result 17
Formal methods and software engineering : 9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, FL, USA, November 14-15, 2007 : proceedings
Published: Springer, 2007
SpringerLink - Click here for access
Description:
1 online resource (x, 386 pages) : illustrations.
Conference Proceeding
eBook
Search Result 18
Software engineering and formal methods : SEFM 2019 collocated workshops: CoSim-CPS, ASYDE, CIFMA, and FOCLASA, Oslo, Norway, September 16-20, 2019, revised selected papers
Published: Springer, 2020
SpringerLink - Click here for access
Description:
1 online resource.
Conference Proceeding
eBook
Search Result 19
Formal methods and software engineering : 13th International Conference on Formal Engineering Methods, ICFEM 2011, Durham, UK, October 26-28, 2011 : proceedings
Published: Springer, 2011
SpringerLink - Click here for access
Description:
1 online resource (xiv, 670 pages) : illustrations (some color).
Conference Proceeding
eBook
Search Result 20
Formal methods and software engineering : 16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014. Proceedings
Published: Springer, 2014
SpringerLink - Click here for access
Description:
1 online resource (xviii, 460 pages) : illustrations.
Conference Proceeding
eBook
Search Result 21
Formal methods and software engineering : 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010 : proceedings
Published: Springer, 2010
SpringerLink - Click here for access
Description:
1 online resource (xiv, 712 pages) : illustrations.
Conference Proceeding
eBook
Search Result 22
Formal Methods and Software Engineering. 10th International Conference on Formal Engineering Methods, ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedings
Published: Springer, 2008
SpringerLink - Click here for access
Description:
1 online resource (xi, 396 pages) : illustrations (some color).
Conference Proceeding
eBook
Search Result 23
Formal methods and software engineering : 24th International Conference on Formal Engineering Methods, ICFEM 2022, Brisbane, QLD, Australia, November 21-24, 2023 : proceedings
Published: Springer, 2023
SpringerLink - Click here for access
Description:
1 online resource (xxviii, 300 pages) : illustrations (some color).
Conference Proceeding
eBook
Search Result 24
Formal methods and software engineering : 11th International Conference on Formal Engineering Methods, ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009 ; proceedings
Published: Springer, 2009
SpringerLink - Click here for access
Description:
1 online resource (xiv, 758 pages : illustrations.
Conference Proceeding
eBook
Search Result 25
Formal methods and software engineering : 20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, QLD, Australia, November 12-16, 2018, Proceedings
Published: Springer, 2018
SpringerLink - Click here for access
Description:
1 online resource (xxii, 474 pages) : illustrations.
Conference Proceeding
eBook
Search Result 26
Software engineering and formal methods : SEFM 2014 Collocated Workshops: HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September 1-2, 2014 : revised selected papers
Published: Springer, 2015
SpringerLink - Click here for access
Description:
1 online resource (xxvii, 405 pages) : illustrations.
Conference Proceeding
eBook
Search Result 27
Formal methods and software engineering : 21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzhen, China, November 5-9, 2019, Proceedings
Published: Springer, 2019
SpringerLink - Click here for access
Description:
1 online resource (xxi, 528 pages) : illustrations (some color).
Conference Proceeding
eBook
Search Result 28
Formal methods and software engineering : 22nd International Conference on Formal Engineering Methods, ICFEM 2020, Singapore, Singapore, March 1-3, 2021, Proceedings
Published: Springer, 2021
SpringerLink - Click here for access
Description:
1 online resource (336 pages).
Conference Proceeding
eBook
Search Result 29
Software engineering and formal methods : SEFM 2021 collocated workshops : CIFMA, CoSim-CPS, OpenCERT, ASYDE, virtual event, December 6-10 2021, revised selected papers
Published: Springer, 2022
SpringerLink - Click here for access
Description:
1 online resource (xi, 350 pages) : illustrations (some color).
Conference Proceeding
eBook
Search Result 30
Formal methods and software engineering : 23rd International Conference on Formal Engineering Methods, ICFEM 2022, Spain, October 24-27, 2022
Published: Springer, 2022
SpringerLink - Click here for access
Description:
1 online resource (xiv, 440 pages) : illustrations (some color).
Conference Proceeding
eBook
Search Result 31
Software engineering and formal methods : SEFM 2013 collocated workshops : BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Madrid, Spain, September 23-24, 2013 : revised select...
Published: Springer, 2014
SpringerLink - Click here for access
Description:
1 online resource.
Conference Proceeding
eBook
Search Result 32
Formal methods and software engineering : 15th International Conference on Formal Engineering Methods, ICFEM 2013, Queenstown, New Zealand, October 29-November 1, 2013, Proceedings
Published: Springer, 2013
SpringerLink - Click here for access
Description:
1 online resource (xviii, 466 pages) : illustrations.
Conference Proceeding
eBook
Search Result 33
Integrated formal methods : 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings
Published: Springer, 2017
SpringerLink - Click here for access
Description:
1 online resource (xxi, 438 pages) : illustrations.
Conference Proceeding
eBook
Search Result 34
Formal methods and software engineering : 14th International Conference on Formal Engineering Methods, ICFEM 2012, Kyoto, Japan, November 12-16, 2012 : proceedings
Published: Springer, 2012
SpringerLink - Click here for access
Description:
1 online resource (xiv, 512 pages) : illustrations.
Conference Proceeding
eBook
Search Result 35
Software engineering and formal methods : 18th International Conference, SEFM 2020, Amsterdam, the Netherlands, September 14-18, 2020, Proceedings
Published: Springer, 2020
SpringerLink - Click here for access
Description:
1 online resource (xiv, 325 pages) : illustrations (some color).
Conference Proceeding
eBook
Search Result 36
Software engineering and formal methods : SEFM 2020 collocated workshops : ASYDE, CIFMA, and CoSim-CPS, Amsterdam, The Netherlands, September 14-15, 2020, revised selected papers
Published: Springer, 2021
SpringerLink - Click here for access
Description:
1 online resource (ix, 335 pages) : illustrations (some color).
Conference Proceeding
eBook
Search Result 37
Integrated formal methods : 9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings
Published: Springer, 2012
SpringerLink - Click here for access
Description:
1 online resource (xii, 360 pages) : illustrations.
Conference Proceeding
eBook
Search Result 38
Formal aspects of component software : 14th International Conference, FACS 2017, Braga, Portugal, October 10-13, 2017, Proceedings
Published: Springer, 2017
SpringerLink - Click here for access
Description:
1 online resource (x, 251 pages) : illustrations.
Conference Proceeding
eBook
Search Result 39
Formal methods for industrial critical systems : 27th International Conference, FMICS 2022, Warsaw, Poland, September 14-15, 2022, proceedings
Published: Springer, 2022
SpringerLink - Click here for access
Description:
1 online resource (x, 245 pages) : illustrations (some color).
Conference Proceeding
eBook
Search Result 40
Formal aspects of component software : 8th International Symposium, FACS 2011, Oslo, Norway, September 14-16, 2011, revised selected papers
Published: Springer, 2012
SpringerLink - Click here for access
Description:
1 online resource (x, 367 pages) : illustrations.
Conference Proceeding
eBook