A Practical Theory of Reactive Systems Incremental Modeling of Dynamic Behaviors /

A Practical Theory of Reactive Systems Incremental Modeling of Dynamic Behaviors /

Show other versions (2)

Saved in:

Bibliographic Details
Main Author:	Kurki-Suonio, Reino (Author)
Corporate Author:	SpringerLink (Online service)
Format:	eBook
Language:	English
Published:	Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2005.
Series:	Texts in Theoretical Computer Science An EATCS Series
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)

A practical theory of reactive systems : incremental modeling of dynamic behaviors /
by: Kurki-Suonio, Reino
Published: (2005)

Model-based testing of reactive systems : advanced lectures
Published: (2005)

Theory and practice of model transformations : 6th International Conference, ICMT 2013, Budapest, Hungary, June 18-19, 2013. Proceedings /
Published: (2013)

Theory and practice of model transformations : 7th International Conference, ICMT 2014, Held as Part of STAF 2014, York, UK, July 21-22, 2014. Proceedings /
Published: (2014)

Theory and practice of model transformations third international conference, ICMT 2010, Malaga, Spain, June 28-July 2, 2010. Proceedings /
Published: (2010)

Theory and practice of model transformations : 5th International Conference, ICMT 2012, Prague, Czech Republic, May 28-29, 2012. Proceedings /
Published: (2012)

Unifying theories of programming : 4th International Symposium, UTP 2012, Paris, France, August 27-28, 2012, Revised Selected Papers /
Published: (2013)

Concurrency theory : calculi and automata for modelling untimed and timed concurrent systems /
by: Bowman, Howard

CONCUR 2013 - Concurrency Theory : 24th International Conference, CONCUR 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings /
Published: (2013)

Practical aspects of declarative languages : 12th International Symposium, PADL 2010, Madrid, Spain, January 18-19, 2010. Proceedings /
Published: (2010)

Practical aspects of declarative languages : 9th International Symposium, PADL 2007, Nice, France, January 14-15, 2007. Proceedings /
Published: (2007)

Application and theory of petri nets and concurrency : 35th International Conference, PETRI NETS 2014, Tunis, Tunisia, June 23-27, 2014. Proceedings /
Published: (2014)

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

Practical aspects of declarative languages (vol. # 3819) : 8th International Symposium, PADL 2006, Charleston, SC, USA, January 9-10, 2006, Proceedings /

Practical aspects of declarative languages (vol. # 3350) 7th international symposium, PADL 2005, Long Beach, CA, USA, January 10-11, 2005, Proceedings
by: Cabeza, Daniel
Published: (2005)

Programming languages and systems : 22nd European Symposium on Programming, ESOP 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings /
Published: (2013)

Finite model theory and its applications /
by: Gradel, Erich
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)

Tools and algorithms for the construction and analysis of systems : 19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings /
Published: (2013)

Tools and algorithms for the construction and analysis of systems : 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 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)

Architecting dependable systems VII
Published: (2010)

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

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)

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)

Perspectives of systems informatics : 6th International Andrei Ershov Memorial Conference, PSI 2006, Novosibirsk, Russia, June 27-30, 2006. Revised Papers /
Published: (2007)

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

Formal methods for industrial critical systems : 18th International Workshop, FMICS 2013, Madrid, Spain, September 23-24, 2013. Proceedings /
Published: (2013)

Formal methods for industrial critical systems 15th international workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010. Proceedings /
Published: (2010)

Formal methods for industrial critical systems : 19th International Conference, FMICS 2014, Florence, Italy, September 11-12, 2014. Proceedings /
Published: (2014)

Formal Techniques for Distributed Systems : Joint IFIP WG 6.1 International Conference, FMOODS/FORTE 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013. Proceedings /
Published: (2013)

Architectures for adaptive software systems 5th international conference on the quality of software architectures, QoSA 2009, east stroudsburg, PA, USA, June 24-26, 2009. Proceedings /
Published: (2009)

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

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

Foundations of software science and computational structures (vol. # 3441) 8th international conference, FOSSACS 2005, held as part of the joint european conferences on theory and practice of software, ETAPS 2005
by: Sassone, Vladimiro
Published: (2005)