Formal Modeling and Analysis of Timed Systems [electronic resource] : 5th International Conference, FORMATS 2007, Salzburg, Austria, October 3-5, 2007 : Proceedings /

Formal Modeling and Analysis of Timed Systems [electronic resource] : 5th International Conference, FORMATS 2007, Salzburg, Austria, October 3-5, 2007 : Proceedings /

57

Bibliographic Details
Main Authors:	FORMATS 2007 (2007 : Salzburg, Austria), Raskin, Jean-Francois, Thiagarajan, P. S., SpringerLink (Online service)
Format:
Language:	eng
Published:	Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007
Subjects:	Computer simulation Temporal automata Formal methods (Computer science)
Online Access:	http://dx.doi.org/10.1007/978-3-540-75454-1

Similar Items

Machines, Computations, and Universality [electronic resource] : 5th International Conference, MCU 2007, Orleans, France, September 10-13, 2007: Proceedings /
by: MCU 2007 (2007 : Orleans, France), et al.
Published: (2007)

UbiComp 2007: Ubiquitous Computing [electronic resource] : 9th International Conference, UbiComp 2007, Innsbruck, Austria, September 16-19, 2007: Proceedings /
by: UbiComp 2007 (2007 : Innsbruck, Austria), et al.
Published: (2007)

Cryptographic Hardware and Embedded Systems - CHES 2007 [electronic resource] : 9th International Workshop, Vienna, Austria, September 10-13, 2007: Proceedings /
by: CHES 2007 (2007 : Vienna, Austria), et al.
Published: (2007)

Algebraic Biology [electronic resource] : Second International Conference, AB 2007, Castle of Hagenberg, Austria, July 2-4, 2007: Proceedings /
by: AB 2007 (2007 : Castle of Hagenberg, Austria), et al.
Published: (2007)

Information Security [electronic resource]: 10th International Conference, ISC 2007, Valparaiso, Chile, October 9-12, 2007: Proceedings/
by: ISC 2007 (2007 : Valparaiso, Chile), et al.
Published: (2007)

Databases in networked information systems [electronic resource]: 5th international workshop, DNIS 2007, Aizu-Wakamatsu, Japan, October 17-19, 2007 : proceedings/
by: DNIS 2007 (2007 : Aizuwakamatsu-shi, Japan), et al.
Published: (2007)

Algorithms - ESA 2007 [electronic resources]: 15th Annual European Symposium, Eilat, Israel, October 8-10, 2007: Proceedings/
by: ESA 2007 (2007 : Elat, Israel), et al.
Published: (2007)

Programming languages and systems [electronic resource]: 5th Asian symposium, APLAS 2007, Singapore, November 29-December 1, 2007 : proceedings/
by: APLAS 2007 (2007 : Singapore), et al.
Published: (2007)

Applied Cryptography and Network Security [electronic resources]: 5th International Conference, ACNS 2007, Zhuhai, China, June 5-8, 2007. Proceedings/
by: ACNS 2007 (2007 : Zhuhai, China), et al.
Published: (2007)

Smart sensing and context [electronic resource]: second European conference, EuroSSC 2007, Kendal, England, October 23-25, 2007 : proceedings/
by: EuroSSC 2007 (2007 : Kendal, England), et al.
Published: (2007)

Fun with Algorithms [electronic resource] : 4th International Conference, FUN 2007, Castiglioncello, Italy, June 3-5, 2007: Proceedings /
by: FUN 2007 (2007 : Castiglioncello, Italy), et al.
Published: (2007)

Multiagent System Technologies [electronic resource] : 5th German Conference, MATES 2007, Leipzig, Germany, September 24-26, 2007: Proceedings /
by: MATES 2007 (2007 : Leipzig, Germany), et al.
Published: (2007)

Towards Mechanized Mathematical Assistants [electronic resource] : 14th Symposium, Calculemus 2007, 6th International Conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007: Proceedings /
by: Calculemus 2007, (2007 : Hagenberg im Muhlkreis, Austria), et al.
Published: (2007)

Software Technologies for Embedded and Ubiquitous Systems [electronic resource]: 5th IFIP WG 10.2 International Workshop, SEUS 2007, Santorini Island, Greece, May 2007. Revised Papers/
by: SEUS 2007 (2007 : Thera Island, Greece), et al.
Published: (2007)

Online Communities and Social Computing [electronic resource] : Second International Conference, OCSC 2007, Held as Part of HCI International 2007, Beijing, China, July 22-27, 2007: Proceedings /
by: OCSC 2007 (2007 : Beijing, China), et al.
Published: (2007)

String Processing and Information Retrieval [electronic resource]: 14th International Symposium, SPIRE 2007 Santiago, Chile, October 29-31, 2007 Proceedings/
by: SPIRE 2007 (2007 : Santiago, Chile), et al.
Published: (2007)

Intelligent Virtual Agents [electronic resource] : 7th International Conference, IVA 2007 Paris, France, September 17-19, 2007 Proceedings /
by: IVA 2007 (2007 : Paris, France), et al.
Published: (2007)

Software Engineering Approaches for Offshore and Outsourced Development [electronic resource]: First International Conference, SEAFOOD 2007, Zurich, Switzerland, February 5-6, 2007. Revised Papers /
by: SEAFOOD 2007 (2007 : Zurich, Switzerland), et al.
Published: (2007)

Parallel and Distributed Processing and Applications [electronic resource] : 5th International Symposium, ISPA 2007 Niagara Falls, Canada, August 29-31, 2007 Proceedings /
by: ISPA 2007 (2007 : Niagara Falls, Ont.), et al.
Published: (2007)

Database programming languages [electronic resource]: 11th international symposium, DBPL 2007, Vienna, Austria, September 23-24, 2007 : revised selected papers/
by: International Symposium on Database Programming Languages (11th : 2007 : Vienna, Austria), et al.
Published: (2007)

HCI and usability for medicine and health care [electronic resource] : third symposium of the workgroup Human-Computer Interaction and Usability Engineering of the Austrian Computer Society, USAB 2007, Graz, Austria, November 22, 2007 : proceedings/
by: USAB 2007 (2007 : Graz, Austria), et al.
Published: (2007)

Computational science -- ICCS 2007 [electronic resource]: 7th international conference, Beijing, China, May 27-30, 2007 : proceedings/
by: ICCS 2007 (2007 : Beijing, China), et al.
Published: (2007)

Unconventional Computation [electronic resource] : 6th International Conference, UC 2007, Kingston, Canada, August 13-17, 2007: Proceedings /
by: UC 2007 (2007 : Kingston, Ont.), et al.
Published: (2007)

Embedded and ubiquitous computing [electronic resource]: international conference, EUC 2007, Taipei, Taiwan, December 17-20, 2007 : proceedings/
by: EUC 2007 (2007 : Taipei, Taiwan), et al.
Published: (2007)

Experimental Algorithms [electronic resource] : 6th International Workshop, WEA 2007, Rome, Italy, June 6-8, 2007: Proceedings /
by: WEA 2007 (2007 : Rome, Italy), et al.
Published: (2007)

Tests and Proofs [electronic resource] : First International Conference, TAP 2007, Zurich, Switzerland, February 12-13, 2007. Revised Papers /
by: TAP 2007 (2007 : Zurich, Switzerland), et al.
Published: (2007)

Fast Software Encryption [electronic resource] : 14th International Workshop, FSE 2007, Luxembourg, Luxembourg, March 26-28, 2007, Revised Selected Papers /
by: FSE 2007 (2007 : Luxembourg, Luxembourg), et al.
Published: (2007)

Computational science -- ICCS 2007 [electronic resource]: Part I: 7th international conference, Beijing, China, May 27-30, 2007 : proceedings/
by: ICCS 2007 (2007 : Beijing, China), et al.
Published: (2007)

Computational science -- ICCS 2007 [electronic resource]: Part II: 7th international conference, Beijing, China, May 27-30, 2007 : proceedings/
by: ICCS 2007 (2007 : Beijing, China), et al.
Published: (2007)

Computational science -- ICCS 2007 [electronic resource]: Part III: 7th international conference, Beijing, China, May 27-30, 2007 : proceedings/
by: ICCS 2007 (2007 : Beijing, China), et al.
Published: (2007)

Autonomic and Trusted Computing [electronic resource] : 4th International Conference, ATC 2007, Hong Kong, China, July 11-13, 2007: Proceedings /
by: ATC 2007 (2007 : Hong Kong, China), et al.
Published: (2007)

Compiler construction [electronic resource]: 16th international conference, CC 2007, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 26-30, 2007 : proceedings/
by: CC 2007 (2007 : Braga, Portugal), et al.
Published: (2007)

Embedded Software and Systems [electronic resource] : Third International Conference, ICESS 2007, Daegu, Korea, May 14-16, 2007: Proceedings /
by: ICESS 2007 (2007 : Daegu, Korea), et al.
Published: (2007)

Network and Parallel Computing [electronic resource] : IFIP International Conference, NPC 2007, Dalian, China, September 18-21, 2007: Proceedings /
by: NPC 2007 (2007 : Dalian Shi, China), et al.
Published: (2007)

Algorithmic learning theory [electronic resources]: 18th international conference, ALT 2007, Sendai, Japan, October 1-4, 2007 : proceedings/
by: ALT 2007 (2007 : Sendai-shi, Miyagi-ken, Japan), et al.
Published: (2007)

Computer Safety, Reliability, and Security [electronic resource] : 26th International Conference, SAFECOMP 2007, Nuremberg, Germany, September 18-21, 2007: Proceedings /
by: SAFECOMP 2007 (2007 : Nuremberg, Germany), et al.
Published: (2007)

Advances in Information and Computer Security [electronic resources]: Second International Workshop on Security, IWSEC 2007, Nara, Japan, October 29-31, 2007: Proceedings/
by: International Workshop on Security (2nd : 2007 : Nara-shi, Japan), et al.
Published: (2007)

Intelligence and security informatics [electronic resource]: Pacific Asia Workshop, PAISI 2007, Chengdu, China, April 11-12, 2007 : proceedings/
by: PAISI 2007 (2007 : Chengdu, China), et al.
Published: (2007)

Intelligence and security informatics [electronic resource]: Pacific Asia Workshop, PAISI 2007, Chengdu, China, April 11-12, 2007 : proceedings/
by: PAISI 2007 (2007 : Chengdu, China), et al.
Published: (2007)

Advances in Grid and Pervasive Computing [electronic resources]: Second International Conference, GPC 2007, Paris, France, May 2-4, 2007. Proceedings/
by: GPC 2007 (2007 : Paris, France), et al.
Published: (2007)