Formal modeling and analysis of timed systems 8th international conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010 : proceedings

Formal modeling and analysis of timed systems 8th international conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010 : proceedings

Saved in:

Bibliographic Details
Corporate Author:	FORMATS 2010 Klosterneuburg, Austria
Other Authors:	Chatterjee, Krishnendu, Henzinger, T. A. Thomas A.
Format:	Book
Published:	Berlin Springer 2010
Series:	Lecture notes in computer science v.6246 LNCS sublibrary: SL 1-theoretical computer science and general issues
Subjects:	Computer simulation > Congresses Formal methods (Computer science) > Congresses Temporal automata > Congresses
Online Access:	Click Here to View Status and Holdings.
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

An introduction to practical formal methods using temporal logic
by: Fisher, Michael 1962-
Published: (2011)

Formal description techniques, II proceedings of the ... FORTE '89, Vancouver, Canada, 5-8 December 1989
Published: (1990)

Lectures on formal methods and performance analysis revised lectures/first EEF summer school on trends in computer science, July 3 - 7, 2000
Published: (2001)

Formal description of programming concepts proceedings of the IFIP Working Conference on Formal Description of Programming Concepts, St. Andrews, N.B., Canada, August 1-5, 1977
Published: (1986)

Formal description techniques, IV proceedings of the ... FORTE '91, Sydney, Australia, 19-22 November 1991
Published: (1992)

Formal models and practical tools for information systems design proceedings of the IFIP TC-8 Working Conference on Formal Models and Practical Tools for Information Systems Design, Oxford, U.K., April 17-20, 1979
Published: (1979)

A roadmap for cognitive development in humanoid robots
by: Vernon, David 1958-
Published: (2010)

Intelligent virtual agents 10th international conference, IVA 2010, Philadelphia, PA, USA, September 20-22, 2010 : proceedings
Published: (2010)

Formal description techniques, V111 proceeding the IFIP TC6/WG6.1 Eighth International Conference on Formal Description Techniques for Distributed Systems and Communications Protocol
Published: (1996)

Formal description techniques, V proceedings of the IFIP TC6/WG6.1 Fifth International Conference on Formal Description Techniques for Distributed Systems and Communications Protocol--FORTE 92, Perros-Guirec, France, 13-16 October 1992
Published: (1993)

Mathematical foundations of computer science, 1976 proceedings, 5th Symposium, Gdansk, September 6-10, 1976
Published: (1976)

Computer-assisted analysis and model simplification
Published: (1981)

Modeling and simulation. Proceedings of ...
Published: (1973)

Advances in spatial and temporal databases 10th international symposium, SSTD 2007, Boston, MA, USA, July 16-18, 2007 : proceedings
Published: (2007)

Second annual Pittsburgh conference on modeling and simulation
Published: (1971)

Automata, languages, and programming 16th international colloquium, Stresa, Italy, July 11-15, 1989 : proceedings
Published: (1989)

Computational models of argument proceedings of COMMA 2006
Published: (2006)

Understanding formal methods
by: Monin, Jean Fran?cois 1960-
Published: (2003)

Automata and formal languages an introduction
by: Kelley, Dean
Published: (1995)

Modelling of the international conference on modelling techniques and ts for performance analysis,..
Published: (1986)

Formal languages
by: Salomaa, Arto
Published: (1987)

Computer animation and simulation 2001 proceedings of the ...held September 2 - 3, 2001
Published: (2001)

Human behavior understanding first international workshop, HBU 2010, Istanbul, Turkey, August 22, 2010 : proceedings
Published: (2010)

Analysis and modeling of neural systems
Published: (1992)

Digital earth moving proceedings of the ...held September 5 - 7, 2001
Published: (2001)

Systems Modeling and Simulation Theory and Applications, Asian Simulation Conference 2006
Published: (2007)

Modelling and simulation in practice. Proceedings of ...
Published: (1980)

Modelling in medicine and biology VIII
Published: (2009)

Cellular automata, dynamical systems, and neural networks
Published: (1994)

Simulation and modeling methodologies, technologies and applications International Conference, SIMULTECH 2011 Noordwijkerhout, the Netherlands, July 29-31, 2011
Published: (2013)

Semigroups algebraic theory applications to formal languges and codes
Published: (1993)

Grammatical inference algorithms and applications proceedings of the ...held September 11 - 13, 2000
Published: (2000)

Automata, languages, and programming third international colloquium at the University of Edinburgh
Published: (1976)

Formal groups and applications
by: Hazewinkel, Michiel
Published: (1978)

Collision-based computing
Published: (2002)

System modelling and simulation proceedings of the IMACS Symposium on System Modelling and Simulation, Cetraro, Italy, 18-21 September, 1988
Published: (1989)

Pervasive computing 8th international conference, Pervasive 2010, Helsinki, Finland, May 17-20, 2010 : proceedings
Published: (2010)

The practice of enterprise modeling third IFIP WG 8.1 working conference, PoEM 2010, Delft, The Netherlands, November 9-10, 2010, proceedings
Published: (2010)

Materials modeling, simulation, and characterization selected, peer reviewed papers from the IUMRS-ICA 2010 (11th IUMRS International Conference in Asia), 25-28 September 2010, Qingdao, China
Published: (2011)

Testamentary formalities
Published: (2011)