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:
Bibliographic Details
Corporate Authors: EPEW (Workshop) Versailles, France), SpringerLink (Online service), International Workshop on Web Services and Formal Methods
Other Authors: Bravetti, Mario, Kloul, Leïla, Zavattaro, Gianluigi
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:
Computer systems -- Evaluation -- Congresses.
Telecommunication systems -- Evaluation -- Congresses.
Formal methods (Computer science) -- Congresses.
Web services -- Congresses.
Online Access:SpringerLink - Click here for access

Similar Items

Search Result 3

Web services and formal methods : third international workshop, WS-FM 2006, Vienna, Austria, September 8-9, 2006 : proceedings by WS-FM 2006 Vienna, Austria, SpringerLink (Online service)

Published: Springer, 2006
Description: 1 online resource (x, 287 pages) : illustrations.
SpringerLink - Click here for access
Conference Proceeding eBook
Save to List
Saved in:
Web services and formal methods : third international workshop, WS-FM 2006, Vienna, Austria, September 8-9, 2006 : proceedings
Search Result 4

Web services and formal methods : 4th international workshop, WS-FM 2007, Brisbane, Australia, September 28-29, 2007 ; proceedings by WS-FM 2007 Brisbane, Qld., SpringerLink (Online service)

Published: Springer, 2008
Description: 1 online resource (viii, 168 pages) : illustrations.
SpringerLink - Click here for access
Conference Proceeding eBook
Save to List
Saved in:
Web services and formal methods : 4th international workshop, WS-FM 2007, Brisbane, Australia, September 28-29, 2007 ; proceedings
Search Result 5

Web services and formal methods : 10th International Workshop, WS-FM 2013, Beijing, China, August 2013 : revised selected papers by WS-FM (Workshop) Beijing, China), SpringerLink (Online service)

Published: Springer, 2014
Description: 1 online resource (viii, 187 pages) : illustrations.
SpringerLink - Click here for access
Conference Proceeding eBook
Save to List
Saved in:
Web services and formal methods : 10th International Workshop, WS-FM 2013, Beijing, China, August 2013 : revised selected papers
Search Result 7

Web services and formal methods : 5th International Workshop, WS-FM 2008, Milan, Italy, September 4-5, 2008 ; revised selected papers by WS-FM 2008 Milan, Italy, SpringerLink (Online service)

Published: Springer, 2009
Description: 1 online resource (x, 239 pages) : illustrations.
SpringerLink - Click here for access
Conference Proceeding eBook
Save to List
Saved in:
Web services and formal methods : 5th International Workshop, WS-FM 2008, Milan, Italy, September 4-5, 2008 ; revised selected papers
Search Result 8

Web services and formal methods : 7th International Workshop, WS-FM 2010, Hoboken, NJ, USA, September 16-17, 2010 : revised selected papers by WS-FM (Workshop) Hoboken, N.J.), SpringerLink (Online service)

Published: Springer, 2011
Description: 1 online resource (viii, 190 pages) : illustrations.
SpringerLink - Click here for access
Conference Proceeding eBook
Save to List
Saved in:
Web services and formal methods : 7th International Workshop, WS-FM 2010, Hoboken, NJ, USA, September 16-17, 2010 : revised selected papers
Search Result 10

Computer performance engineering : 13th European Workshop, EPEW 2016, Chios, Greece, October 5-7, 2016, Proceedings by EPEW (Workshop) Chios, Greece), SpringerLink (Online service)

Published: Springer, 2016
Description: 1 online resource (xviii, 221 pages) : illustrations.
SpringerLink - Click here for access
Conference Proceeding eBook
Save to List
Saved in:
Computer performance engineering : 13th European Workshop, EPEW 2016, Chios, Greece, October 5-7, 2016, Proceedings
Search Result 11

Computer performance engineering : 11th European Workshop, EPEW 2014, Florence, Italy, September 11-12, 2014. Proceedings by EPEW (Workshop) Florence, Italy), SpringerLink (Online service)

Published: Springer, 2014
Description: 1 online resource (xvi, 271 pages) : illustrations.
SpringerLink - Click here for access
Conference Proceeding eBook
Save to List
Saved in:
Computer performance engineering : 11th European Workshop, EPEW 2014, Florence, Italy, September 11-12, 2014. Proceedings
Search Result 12

Computer Performance Engineering : 10th European Workshop, EPEW 2013, Venice, Italy, September 16-17, 2013 : proceedings by EPEW (Workshop) Venice, Italy), SpringerLink (Online service)

Published: Springer, 2013
Description: 1 online resource (xii, 351 pages) : illustrations.
SpringerLink - Click here for access
Conference Proceeding eBook
Save to List
Saved in:
Computer Performance Engineering : 10th European Workshop, EPEW 2013, Venice, Italy, September 16-17, 2013 : proceedings
Search Result 13

Computer performance engineering : 12th European Workshop, EPEW 2015, Madrid, Spain, August 31-September 1, 2015, Proceedings by EPEW (Workshop) Madrid, Spain), SpringerLink (Online service)

Published: Springer, 2015
Description: 1 online resource (x, 307 pages) : illustrations.
SpringerLink - Click here for access
Conference Proceeding eBook
Save to List
Saved in:
Computer performance engineering : 12th European Workshop, EPEW 2015, Madrid, Spain, August 31-September 1, 2015, Proceedings
Search Result 14

Web services and formal methods : 6th international workshop, WS-FM 2009, Bologna, Italy, September 4-5, 2009 : revised selected papers by WS-FM (Workshop) Bologna, Italy), SpringerLink (Online service)

Published: Springer, 2010
Description: 1 online resource (195 pages) : illustrations.
SpringerLink - Click here for access
Conference Proceeding eBook
Save to List
Saved in:
Web services and formal methods : 6th international workshop, WS-FM 2009, Bologna, Italy, September 4-5, 2009 : revised selected papers
Search Result 15

Web services and formal methods : 9th International Workshop, WS-FM 2012, Tallinn, Estonia, September 6-7, 2012, Revised selected papers by WS-FM (Workshop) Tallinn, Estonia), SpringerLink (Online service)

Published: Springer, 2013
Description: 1 online resource (viii, 149 pages) : illustrations.
SpringerLink - Click here for access
Conference Proceeding eBook
Save to List
Saved in:
Web services and formal methods : 9th International Workshop, WS-FM 2012, Tallinn, Estonia, September 6-7, 2012, Revised selected papers
Search Result 16

Computer performance engineering : 6th European Performance Engineering Workshop, EPEW 2009, London, UK, July 9-10, 2009 ; proceedings by EPEW (Workshop) London, England), SpringerLink (Online service)

Published: Springer, 2009
Description: 1 online resource (x, 219 pages) : illustrations.
SpringerLink - Click here for access
Conference Proceeding eBook
Save to List
Saved in:
Computer performance engineering : 6th European Performance Engineering Workshop, EPEW 2009, London, UK, July 9-10, 2009 ; proceedings
Search Result 17

Computer performance engineering : 7th European Performance Engineering Workshop, EPEW 2010, Bertinoro, Italy, September 23-24, 2010 : proceedings by EPEW (Workshop) Bertinoro, Italy), SpringerLink (Online service)

Published: Springer, 2010
Description: 1 online resource (x, 283 pages) : illustrations.
SpringerLink - Click here for access
Conference Proceeding eBook
Save to List
Saved in:
Computer performance engineering : 7th European Performance Engineering Workshop, EPEW 2010, Bertinoro, Italy, September 23-24, 2010 : proceedings
Search Result 20

Computer performance engineering : 8th European Performance Engineering Workshop, EPEW 2011, Borrowdale, UK, October 12-13, 2011 : proceedings by EPEW (Workshop) Keswick, Cumbria, England), SpringerLink (Online service)

Published: Springer, 2011
Description: 1 online resource (xi, 339 pages) : illustrations.
SpringerLink - Click here for access
Conference Proceeding eBook
Save to List
Saved in:
Computer performance engineering : 8th European Performance Engineering Workshop, EPEW 2011, Borrowdale, UK, October 12-13, 2011 : proceedings
Search Result 21

Formal techniques for safety-critical systems : fourth International Workshop, FTSCS 2015, Paris, France, November 6-7, 2015. Revised selected papers by FTSCS (Workshop) Paris, France), SpringerLink (Online service)

Published: Springer, 2016
Description: 1 online resource (x, 271 pages) : illustrations.
SpringerLink - Click here for access
Conference Proceeding eBook
Save to List
Saved in:
Formal techniques for safety-critical systems : fourth International Workshop, FTSCS 2015, Paris, France, November 6-7, 2015. Revised selected papers
Search Result 24

Formal techniques for safety-critical systems : 5th International Workshop, FTSCS 2016, Tokyo, Japan, November 14, 2016, Revised selected papers by FTSCS (Workshop) Tokyo, Japan), SpringerLink (Online service)

Published: Springer, 2017
Description: 1 online resource (xii, 161 pages) : illustrations.
SpringerLink - Click here for access
Conference Proceeding eBook
Save to List
Saved in:
Formal techniques for safety-critical systems : 5th International Workshop, FTSCS 2016, Tokyo, Japan, November 14, 2016, Revised selected papers
Search Result 25

Formal techniques for safety-critical systems : 7th International Workshop, FTSCS 2019, Shenzhen, China, November 9, 2019, Revised selected papers by FTSCS (Workshop) Shenzhen Shi, China), SpringerLink (Online service)

Published: Springer, 2020
Description: 1 online resource (viii, 141 pages) : illustrations (some color).
SpringerLink - Click here for access
Conference Proceeding eBook
Save to List
Saved in:
Formal techniques for safety-critical systems : 7th International Workshop, FTSCS 2019, Shenzhen, China, November 9, 2019, Revised selected papers
Search Result 27

Formal techniques for safety-critical systems : 6th International Workshop, FTSCS 2018, Gold Coast, Australia, November 16, 2018, Revised selected papers by FTSCS (Workshop) Gold Coast, Qld.), SpringerLink (Online service)

Published: Springer, 2019
Description: 1 online resource (xii, 179 pages) : illustrations (some color).
SpringerLink - Click here for access
Conference Proceeding eBook
Save to List
Saved in:
Formal techniques for safety-critical systems : 6th International Workshop, FTSCS 2018, Gold Coast, Australia, November 16, 2018, Revised selected papers
Search Result 28

Integrated formal methods : 8th international conference, IFM 2010, Nancy, France, October 11-14, 2010 : proceedings by International Conference on Integrated Formal Methods Nancy, France, SpringerLink (Online service)

Published: Springer, 2010
Description: 1 online resource (x, 335 pages) : illustrations.
SpringerLink - Click here for access
Conference Proceeding eBook
Save to List
Saved in:
Integrated formal methods : 8th international conference, IFM 2010, Nancy, France, October 11-14, 2010 : proceedings
Search Result 36

NASA formal methods : 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings by NFM (Symposium) Moffett Field, Calif.), SpringerLink (Online service)

Published: Springer, 2013
Description: 1 online resource (xxiv, 486 pages) : illustrations.
SpringerLink - Click here for access
Conference Proceeding eBook
Save to List
Saved in:
NASA formal methods : 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings
Search Result 40

Formal methods : 24th International Symposium, FM 2021, Virtual event, November 20-26, 2021, Proceedings by International Symposium of Formal Methods Europe Online, SpringerLink (Online service)

Published: Springer, 2021
Description: 1 online resource (801 pages).
SpringerLink - Click here for access
Conference Proceeding eBook
Save to List
Saved in:
Formal methods : 24th International Symposium, FM 2021, Virtual event, November 20-26, 2021, Proceedings
Show all versions (115252)

Similar Items