Model-based testing of reactive systems : advanced lectures

Model-based testing of reactive systems : advanced lectures

Saved in:

Bibliographic Details
Corporate Author:	SpringerLink (Online service)
Other Authors:	Pretschner, Alexander, Leucker, Martin, Katoen, Joost-Pieter, Jonsson, Bengt, Broy, Manfred
Format:	eBook
Language:	English
Published:	Berlin Heidelberg : Springer-Verlag GmbH., 2005
Series:	Lecture Notes in Computer Science, 3472
Subjects:	Software engineering Logic design Computer science
Online Access:	Click here to view the full text content
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

A Practical Theory of Reactive Systems Incremental Modeling of Dynamic Behaviors /
by: Kurki-Suonio, Reino
Published: (2005)

Testing software and systems 22nd IFIP WG 6.1 international conference, ICTSS 2010, Natal, Brazil, November 8-10, 2010. proceedings /
Published: (2010)

Model-based safety and assessment : 4th International Symposium, IMBSA 2014, Munich, Germany, October 27-29, 2014. Proceedings /
Published: (2014)

Tests and proofs 4th international conference, TAP 2010, Malaga, Spain, July 1-2, 2010. Proceedings /
by: Fraser, Gordon
Published: (2010)

Hardware and software, verification and testing / First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005, Revised Selected Papers /
by: Ur, Shmuel
Published: (2006)

Hardware and software: verification and testing 4th international haifa verification conference, HVC 2008, Haifa, Israel, october 27-30, 2008. proceedings /
Published: (2009)

Hardware and software, verification and testing : Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006. Revised Selected Papers /
Published: (2007)

Formal modeling and analysis of timed systems : 5th International Conference, FORMATS 2007, Salzburg, Austria, October 3-5, 2007. Proceedings /
Published: (2007)

Formal modeling and analysis of timed systems : 12th International Conference, FORMATS 2014, Florence, Italy, September 8-10, 2014. Proceedings /
Published: (2014)

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

Formal modeling and analysis of timed systems 8th international conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010. Proceedings /
Published: (2010)

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

Formal modeling and analysis of timed systems (vol. # 3829) / third International Conference, FORMATS 2005, Uppsala, Sweden, September 26-28, 2005, Proceedings

Theory and applications of satisfiability testing - SAT 2010 13th international conference, SAT 2010, Edinburgh, UK, July 11-14, 2010. Proceedings /
Published: (2010)

Testing techniques in software engineering Second Pernambuco Summer School on Software Engineering, PSSE 2007, Recife, Brazil, December 3-7, 2007, Revised Lectures /
Published: (2010)

Model checking software 17th international SPIN workshop, Enschede, The Netherlands, September 27-29, 2010. Proceedings /
Published: (2010)

Model checking software 19th international workshop, SPIN 2012, Oxford, UK, July 23-24, 2012. proceedings /
Published: (2012)

Model checking software : 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013. Proceedings /
Published: (2013)

Tests and Proofs : 7th International Conference, TAP 2013, Budapest, Hungary, June 16-20, 2013. Proceedings /
Published: (2013)

Transactions on petri nets and other models of concurrency VIII /
Published: (2013)

Transactions on petri nets and other models of concurrency VII /
Published: (2013)

Tests and proofs : 6th International Conference, TAP 2012, Prague, Czech Republic, May 31 - June 1, 2012. Proceedings /
Published: (2012)

Tests and proofs : 8th International Conference, TAP 2014, Held as Part of STAF 2014, York, UK, July 24-25, 2014. Proceedings /
Published: (2014)

Component-Based Software Engineering (vol. # 3489) 8th International Symposium, CBSE 2005, St. Louis, MO, USA, May 14-15, 2005
by: Crnkovic, Ivica
Published: (2005)

Verification, model checking, and abstract interpretation : 8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007. Proceedings /
Published: (2007)

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 /
Published: (2013)

Verification, model checking, and abstract interpretation : 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010. Proceedings /
Published: (2010)

Verification, model Checking, and abstract interpretation 12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011. Proceedings /
Published: (2011)

Verification, model checking, and abstract interpretation : 13th International Conference, VMCAI 2012, Philadelphia, PA, USA, January 22-24, 2012. Proceedings /
Published: (2012)

Verification, model checking, and abstract interpretation (vol. # 3385) 6th international conference, VMCAI 2005, Paris, France, January 17-19, 2005, Proceedings
by: Cousot, Radhia
Published: (2005)

Verification, model checking, and abstract interpretation (vol. # 3855) : 7th International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006, Proceedings /

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 /
Published: (2014)

Model checking software 16th International SPIN Workshop, Grenoble, France, June 26-28, 2009. Proceedings /
Published: (2009)

Formal methods in software and systems modeling essays dedicated to hartmut ehrig on the occasion of his 60th birthday
Published: (2005)

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

Architecting dependable systems VII
Published: (2010)

Domain modeling and the duration calculus : international training school, Shanghai, China, September 17-21. 2007, advanced lectures /
Published: (2007)

Programming languages and systems : 12th Asian Symposium, APLAS 2014, Singapore, Singapore, November 17-19, 2014, Proceedings /
Published: (2014)

Programming languages and systems : 11th Asian Symposium, APLAS 2013, Melbourne, VIC, Australia, December 9-11, 2013. Proceedings /
Published: (2013)

Perspectives of systems informatics : 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009. Revised Papers /
Published: (2010)