Formal Modeling and Analysis of Timed Systems

The 17 revised full papers presented together with 3 invited talks were carefully reviewed and selected from 37 submissions. The papers are organized in topical sections on extensions of timed automata and semantics; timed games and logic; case studies; model-checking of probabilistic systems; verif...

Full description

Saved in:

Bibliographic Details
Other Authors:	Cassez, Franck
Format:	Book
Language:	English
Published:	Springer 2017
Subjects:	Formal Modeling ; Temporal automata Timed Systems Computer Science ; Computer simulation 004.33
Online Access:	http://repository.vnu.edu.vn/handle/VNU_123/26374
Tags:	Add Tag No Tags, Be the first to tag this record!
Institution:	Vietnam National University, Hanoi
Language:	English

id	oai:112.137.131.14:VNU_123-26374
record_format	dspace
spelling	oai:112.137.131.14:VNU_123-263742020-06-22T03:02:27Z Formal Modeling and Analysis of Timed Systems Cassez, Franck Jard, Claude Formal Modeling ; Temporal automata Timed Systems Computer Science ; Computer simulation 004.33 The 17 revised full papers presented together with 3 invited talks were carefully reviewed and selected from 37 submissions. The papers are organized in topical sections on extensions of timed automata and semantics; timed games and logic; case studies; model-checking of probabilistic systems; verification and test; timed petri nets. 2017-04-11T09:03:48Z 2017-04-11T09:03:48Z 2008 Book 978-3-540-85777-8 http://repository.vnu.edu.vn/handle/VNU_123/26374 en 305 p. application/pdf Springer
institution	Vietnam National University, Hanoi
building	VNU Library & Information Center
country	Vietnam
collection	VNU Digital Repository
language	English
topic	Formal Modeling ; Temporal automata Timed Systems Computer Science ; Computer simulation 004.33
spellingShingle	Formal Modeling ; Temporal automata Timed Systems Computer Science ; Computer simulation 004.33 Formal Modeling and Analysis of Timed Systems
description	The 17 revised full papers presented together with 3 invited talks were carefully reviewed and selected from 37 submissions. The papers are organized in topical sections on extensions of timed automata and semantics; timed games and logic; case studies; model-checking of probabilistic systems; verification and test; timed petri nets.
author2	Cassez, Franck
author_facet	Cassez, Franck
format	Book
title	Formal Modeling and Analysis of Timed Systems
title_short	Formal Modeling and Analysis of Timed Systems
title_full	Formal Modeling and Analysis of Timed Systems
title_fullStr	Formal Modeling and Analysis of Timed Systems
title_full_unstemmed	Formal Modeling and Analysis of Timed Systems
title_sort	formal modeling and analysis of timed systems
publisher	Springer
publishDate	2017
url	http://repository.vnu.edu.vn/handle/VNU_123/26374
_version_	1680968514430566400

Formal Modeling and Analysis of Timed Systems

Similar Items