Coverart for item
The Resource Formal modeling and analysis of timed systems : 8th international conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010 : proceedings, Krishnendu Chatterjee, Thomas A. Henzinger (eds.), (electronic resource)

Formal modeling and analysis of timed systems : 8th international conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010 : proceedings, Krishnendu Chatterjee, Thomas A. Henzinger (eds.), (electronic resource)

Label
Formal modeling and analysis of timed systems : 8th international conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010 : proceedings
Title
Formal modeling and analysis of timed systems
Title remainder
8th international conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010 : proceedings
Statement of responsibility
Krishnendu Chatterjee, Thomas A. Henzinger (eds.)
Creator
Contributor
Subject
Genre
Language
eng
Summary
Annotation:
Member of
Cataloging source
BTCTA
Dewey number
004.01/51
LC call number
QA76.9.C65
LC item number
F676 2010
http://bibfra.me/vocab/lite/meetingDate
2010
http://bibfra.me/vocab/lite/meetingName
FORMATS 2010
http://library.link/vocab/relatedWorkOrContributorName
  • Chatterjee, Krishnendu
  • Henzinger, T. A.
Series statement
  • Lecture notes in computer science,
  • LNCS sublibrary: SL 1-theoretical computer science and general issues
Series volume
6246
http://library.link/vocab/subjectName
  • Computer simulation
  • Temporal automata
  • Formal methods (Computer science)
Summary expansion
This book constitutes the proceedings of the 8th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2010, held in Klosterneuburg, Austria in September 2010. The 14 papers presented were carefully reviewed and selected from 31 submissions. In addition, the volume contains 3 invited talks and 2 invited tutorials.The aim of FORMATS is to promote the study of fundamental and practical aspects of timed systems, and to bring together researchers from different disciplines that share an interest in the modeling and analysis of timed systems. Typical topics include foundations and semantics, methods and tools, and applications
Label
Formal modeling and analysis of timed systems : 8th international conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010 : proceedings, Krishnendu Chatterjee, Thomas A. Henzinger (eds.), (electronic resource)
Instantiates
Publication
Bibliography note
Includes bibliographical references and index
Control code
OCM1bookssj0000446475
Dimensions
unknown
Isbn
9783642152962
Isbn Type
(pbk.)
Lccn
2010932429
Specific material designation
remote
System control number
(WaSeSS)bookssj0000446475
Label
Formal modeling and analysis of timed systems : 8th international conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010 : proceedings, Krishnendu Chatterjee, Thomas A. Henzinger (eds.), (electronic resource)
Publication
Bibliography note
Includes bibliographical references and index
Control code
OCM1bookssj0000446475
Dimensions
unknown
Isbn
9783642152962
Isbn Type
(pbk.)
Lccn
2010932429
Specific material designation
remote
System control number
(WaSeSS)bookssj0000446475

Library Locations

    • Ellis LibraryBorrow it
      1020 Lowry Street, Columbia, MO, 65201, US
      38.944491 -92.326012
    • Engineering Library & Technology CommonsBorrow it
      W2001 Lafferre Hall, Columbia, MO, 65211, US
      38.946102 -92.330125
Processing Feedback ...