Loading…
Formal techniques for computer systems and business processes European Performance Engineering Workshop, EPEW 2005 and International Workshop on Web Services and Formal Methods, WS-FM 2005, Versailles, France, September 1-3, 2005 : proceedings /
Saved in:
Corporate Authors: | , , |
---|---|
Other Authors: | , , |
Format: | Conference Proceeding eBook |
Language: | English |
Published: |
Berlin ; New York :
Springer,
©2005.
|
Series: | Lecture notes in computer science ;
3670. |
Physical Description: |
1 online resource (xiii, 348 pages) : illustrations. |
Subjects: | |
Online Access: | SpringerLink - Click here for access |
Similar Items
Search Result 1
Formal methods and stochastic models for performance evaluation : Fourth European Performance Engineering Workshop, EPEW 2007, Berlin, Germany, September, 2007 : proceedings
Published: Springer, 2007
SpringerLink - Click here for access
Description:
1 online resource (x, 300 pages) : illustrations.
Conference Proceeding
eBook
Search Result 2
Formal methods and stochastic models for performance evaluation : Third European Performance Engineering Workshop, EPEW 2006, Budapest, Hungary, June 21-22, 2006 : proceedings
Published: Springer, 2006
SpringerLink - Click here for access
Description:
1 online resource (viii, 237 pages) : illustrations.
Conference Proceeding
eBook
Search Result 3
Web services and formal methods : third international workshop, WS-FM 2006, Vienna, Austria, September 8-9, 2006 : proceedings
Published: Springer, 2006
SpringerLink - Click here for access
Description:
1 online resource (x, 287 pages) : illustrations.
Conference Proceeding
eBook
Search Result 4
Web services and formal methods : 4th international workshop, WS-FM 2007, Brisbane, Australia, September 28-29, 2007 ; proceedings
Published: Springer, 2008
SpringerLink - Click here for access
Description:
1 online resource (viii, 168 pages) : illustrations.
Conference Proceeding
eBook
Search Result 5
Web services and formal methods : 10th International Workshop, WS-FM 2013, Beijing, China, August 2013 : revised selected papers
Published: Springer, 2014
SpringerLink - Click here for access
Description:
1 online resource (viii, 187 pages) : illustrations.
Conference Proceeding
eBook
Search Result 6
Web services and formal methods : 8th International Workshop, WS-FM 2011, Clermont-Ferrand, France, September 1-2, 2011, Revised selected papers
Published: Springer, 2012
SpringerLink - Click here for access
Description:
1 online resource (vi, 142 pages).
Conference Proceeding
eBook
Search Result 7
Web services and formal methods : 5th International Workshop, WS-FM 2008, Milan, Italy, September 4-5, 2008 ; revised selected papers
Published: Springer, 2009
SpringerLink - Click here for access
Description:
1 online resource (x, 239 pages) : illustrations.
Conference Proceeding
eBook
Search Result 8
Web services and formal methods : 7th International Workshop, WS-FM 2010, Hoboken, NJ, USA, September 16-17, 2010 : revised selected papers
Published: Springer, 2011
SpringerLink - Click here for access
Description:
1 online resource (viii, 190 pages) : illustrations.
Conference Proceeding
eBook
Search Result 9
Web Services, Formal Methods, and Behavioral Types : 11th International Workshop, WS-FM 2014, Eindhoven, the Netherlands, September 11-12, 2014, and 12th International Workshop, WS...
Published: Springer, 2016
SpringerLink - Click here for access
Description:
1 online resource (xvii, 167 pages) : illustrations.
Conference Proceeding
eBook
Search Result 10
Computer performance engineering : 13th European Workshop, EPEW 2016, Chios, Greece, October 5-7, 2016, Proceedings
Published: Springer, 2016
SpringerLink - Click here for access
Description:
1 online resource (xviii, 221 pages) : illustrations.
Conference Proceeding
eBook
Search Result 11
Computer performance engineering : 11th European Workshop, EPEW 2014, Florence, Italy, September 11-12, 2014. Proceedings
Published: Springer, 2014
SpringerLink - Click here for access
Description:
1 online resource (xvi, 271 pages) : illustrations.
Conference Proceeding
eBook
Search Result 12
Computer Performance Engineering : 10th European Workshop, EPEW 2013, Venice, Italy, September 16-17, 2013 : proceedings
Published: Springer, 2013
SpringerLink - Click here for access
Description:
1 online resource (xii, 351 pages) : illustrations.
Conference Proceeding
eBook
Search Result 13
Computer performance engineering : 12th European Workshop, EPEW 2015, Madrid, Spain, August 31-September 1, 2015, Proceedings
Published: Springer, 2015
SpringerLink - Click here for access
Description:
1 online resource (x, 307 pages) : illustrations.
Conference Proceeding
eBook
Search Result 14
Web services and formal methods : 6th international workshop, WS-FM 2009, Bologna, Italy, September 4-5, 2009 : revised selected papers
Published: Springer, 2010
SpringerLink - Click here for access
Description:
1 online resource (195 pages) : illustrations.
Conference Proceeding
eBook
Search Result 15
Web services and formal methods : 9th International Workshop, WS-FM 2012, Tallinn, Estonia, September 6-7, 2012, Revised selected papers
Published: Springer, 2013
SpringerLink - Click here for access
Description:
1 online resource (viii, 149 pages) : illustrations.
Conference Proceeding
eBook
Search Result 16
Computer performance engineering : 6th European Performance Engineering Workshop, EPEW 2009, London, UK, July 9-10, 2009 ; proceedings
Published: Springer, 2009
SpringerLink - Click here for access
Description:
1 online resource (x, 219 pages) : illustrations.
Conference Proceeding
eBook
Search Result 17
Computer performance engineering : 7th European Performance Engineering Workshop, EPEW 2010, Bertinoro, Italy, September 23-24, 2010 : proceedings
Published: Springer, 2010
SpringerLink - Click here for access
Description:
1 online resource (x, 283 pages) : illustrations.
Conference Proceeding
eBook
Search Result 18
Computer performance engineering : 5th European Performance Engineering Workshop, EPEW 2008, Palma de Mallorca, Spain, September 24-25, 2008 ; proceedings
Published: Springer, 2008
SpringerLink - Click here for access
Description:
1 online resource (x, 267 pages) : illustrations.
Conference Proceeding
eBook
Search Result 19
Computer performance engineering : 9th European Workshop, EPEW 2012, Munich, Germany, July 30, 2012, and 28th UK Workshop, UKPEW 2012, Edinburgh, UK, July 2, 2012, Revised selected...
Published: Springer, 2013
SpringerLink - Click here for access
Description:
1 online resource.
Conference Proceeding
eBook
Search Result 20
Computer performance engineering : 8th European Performance Engineering Workshop, EPEW 2011, Borrowdale, UK, October 12-13, 2011 : proceedings
Published: Springer, 2011
SpringerLink - Click here for access
Description:
1 online resource (xi, 339 pages) : illustrations.
Conference Proceeding
eBook
Search Result 21
Formal techniques for safety-critical systems : fourth International Workshop, FTSCS 2015, Paris, France, November 6-7, 2015. Revised selected papers
Published: Springer, 2016
SpringerLink - Click here for access
Description:
1 online resource (x, 271 pages) : illustrations.
Conference Proceeding
eBook
Search Result 22
FM 2005 : formal methods : International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005 : proceedings
Published: Springer, 2005
SpringerLink - Click here for access
Description:
1 online resource (xiv, 558 pages) : illustrations.
Conference Proceeding
eBook
Search Result 23
Formal techniques for safety-critical systems : third International Workshop, FTSCS 2014, Luxembourg, November 6-7, 2014. Revised selected papers
Published: Springer, 2015
SpringerLink - Click here for access
Description:
1 online resource (x, 257 pages) : illustrations.
Conference Proceeding
eBook
Search Result 24
Formal techniques for safety-critical systems : 5th International Workshop, FTSCS 2016, Tokyo, Japan, November 14, 2016, Revised selected papers
Published: Springer, 2017
SpringerLink - Click here for access
Description:
1 online resource (xii, 161 pages) : illustrations.
Conference Proceeding
eBook
Search Result 25
Formal techniques for safety-critical systems : 7th International Workshop, FTSCS 2019, Shenzhen, China, November 9, 2019, Revised selected papers
Published: Springer, 2020
SpringerLink - Click here for access
Description:
1 online resource (viii, 141 pages) : illustrations (some color).
Conference Proceeding
eBook
Search Result 26
Formal techniques for safety-critical systems : second international workshop, FTSCS 2013, Queenstown, New Zealand, October 29-30, 2013. Revised selected papers
Published: Springer, 2014
SpringerLink - Click here for access
Description:
1 online resource (x, 297 pages) : illustrations.
Conference Proceeding
eBook
Search Result 27
Formal techniques for safety-critical systems : 6th International Workshop, FTSCS 2018, Gold Coast, Australia, November 16, 2018, Revised selected papers
Published: Springer, 2019
SpringerLink - Click here for access
Description:
1 online resource (xii, 179 pages) : illustrations (some color).
Conference Proceeding
eBook
Search Result 28
Integrated formal methods : 8th international conference, IFM 2010, Nancy, France, October 11-14, 2010 : proceedings
Published: Springer, 2010
SpringerLink - Click here for access
Description:
1 online resource (x, 335 pages) : illustrations.
Conference Proceeding
eBook
Search Result 29
Formal methods for Web services : 9th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2009, Bertinoro, Italy, June 1-6,...
Published: Springer, 2009
SpringerLink - Click here for access
Description:
1 online resource (vi, 339 pages) : illustrations.
Conference Proceeding
eBook
Search Result 30
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...
Published: Springer, 2013
SpringerLink - Click here for access
Description:
1 online resource (179 pages) : illustrations (black and white).
Conference Proceeding
eBook
Search Result 31
Formal methods : FM 2019 International Workshops : Porto, Portugal, October 7-11, 2019, Revised selected papers. Part II
Published: Springer, 2020
SpringerLink - Click here for access
Description:
1 online resource (584 pages).
Conference Proceeding
eBook
Search Result 32
Formal methods : FM 2019 International Workshops : Porto, Portugal, October 7-11, 2019, Revised selected papers. Part I
Published: Springer, 2020
SpringerLink - Click here for access
Description:
1 online resource (533 pages).
Conference Proceeding
eBook
Search Result 33
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, A...
Published: Springer, 2005
SpringerLink - Click here for access
Description:
1 online resource (vi, 270 pages) : illustrations.
Conference Proceeding
eBook
Search Result 34
Formal methods teaching : third International Workshop and Tutorial, FMTea 2019, held as part of the third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 7, 20...
Published: Springer, 2019
SpringerLink - Click here for access
Description:
1 online resource (xvi, 245 pages) : illustrations (some color).
Conference Proceeding
eBook
Search Result 35
Integrated formal methods : 5th international conference, IFM 2005, Eindhoven, the Netherlands, November 29--December 2, 2005 : proceedings
Published: Springer, 2005
SpringerLink - Click here for access
Description:
1 online resource (xi, 405 pages) : illustrations.
Conference Proceeding
eBook
Search Result 36
NASA formal methods : 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings
Published: Springer, 2013
SpringerLink - Click here for access
Description:
1 online resource (xxiv, 486 pages) : illustrations.
Conference Proceeding
eBook
Search Result 37
Integrated formal methods : 7th international conference, IFM 2009, Düsseldorf, Germany, February 16-19, 2009 ; proceedings
Published: Springer, 2009
SpringerLink - Click here for access
Description:
1 online resource (x, 366 pages) : illustrations.
Conference Proceeding
eBook
Search Result 38
Integrated formal methods : 11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014 : proceedings
Published: Springer, 2014
SpringerLink - Click here for access
Description:
1 online resource : illustrations.
Conference Proceeding
eBook
Search Result 39
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 40
Formal methods : 24th International Symposium, FM 2021, Virtual event, November 20-26, 2021, Proceedings
Published: Springer, 2021
SpringerLink - Click here for access
Description:
1 online resource (801 pages).
Conference Proceeding
eBook