MARC details
| 000 -LEADER |
|---|
| fixed length control field |
06533cam a2200949 a 4500 |
| 001 - CONTROL NUMBER |
|---|
| control field |
ocn288567880 |
| 003 - CONTROL NUMBER IDENTIFIER |
|---|
| control field |
OCoLC |
| 005 - DATE AND TIME OF LATEST TRANSACTION |
|---|
| control field |
20250703145815.0 |
| 006 - FIXED-LENGTH DATA ELEMENTS--ADDITIONAL MATERIAL CHARACTERISTICS |
|---|
| fixed length control field |
m o d |
| 007 - PHYSICAL DESCRIPTION FIXED FIELD--GENERAL INFORMATION |
|---|
| fixed length control field |
cr cn||||||||| |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION |
|---|
| fixed length control field |
081217s2008 gw a ob 101 0 eng d |
| 040 ## - CATALOGING SOURCE |
|---|
| Original cataloging agency |
GW5XE |
| Language of cataloging |
eng |
| Description conventions |
pn |
| Transcribing agency |
GW5XE |
| Modifying agency |
UMC |
| -- |
HNK |
| -- |
GZM |
| -- |
PUL |
| -- |
E7B |
| -- |
OCLCQ |
| -- |
Z5A |
| -- |
OCLCO |
| -- |
OCLCA |
| -- |
A7U |
| -- |
OCLCQ |
| -- |
OCLCF |
| -- |
BEDGE |
| -- |
OCLCQ |
| -- |
OCLCO |
| -- |
YDXCP |
| -- |
NUI |
| -- |
OCLCQ |
| -- |
OCL |
| -- |
OCLCO |
| -- |
EBLCP |
| -- |
OCLCQ |
| -- |
UAB |
| -- |
ESU |
| -- |
OCLCQ |
| -- |
SHS |
| -- |
TFW |
| -- |
U3W |
| -- |
WYU |
| -- |
ICG |
| -- |
OCLCQ |
| -- |
CNTRU |
| -- |
OCLCQ |
| -- |
ERF |
| -- |
OCLCQ |
| -- |
LUN |
| -- |
DCT |
| -- |
OCLCQ |
| -- |
OCLCO |
| -- |
COM |
| -- |
OCLCO |
| -- |
OCLCQ |
| -- |
OCLCO |
| -- |
OCLCL |
| 015 ## - NATIONAL BIBLIOGRAPHY NUMBER |
|---|
| National bibliography number |
08,A40,0036 |
| Source |
dnb |
| 015 ## - NATIONAL BIBLIOGRAPHY NUMBER |
|---|
| National bibliography number |
08,N37,0027 |
| Source |
dnb |
| 016 7# - NATIONAL BIBLIOGRAPHIC AGENCY CONTROL NUMBER |
|---|
| Record control number |
990120465 |
| Source |
DE-101 |
| 019 ## - |
|---|
| -- |
257425933 |
| -- |
488393354 |
| -- |
646765792 |
| -- |
1087412751 |
| -- |
1112535712 |
| -- |
1170329815 |
| -- |
1170630895 |
| -- |
1204024225 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
9783540857785 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
3540857788 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
354085777X |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
9783540857778 |
| 024 7# - OTHER STANDARD IDENTIFIER |
|---|
| Standard number or code |
10.1007/978-3-540-85778-5 |
| Source of number or code |
doi |
| 029 1# - (OCLC) |
|---|
| OCLC library identifier |
AU@ |
| System control number |
000043802182 |
| 029 1# - (OCLC) |
|---|
| OCLC library identifier |
AU@ |
| System control number |
000058159588 |
| 029 1# - (OCLC) |
|---|
| OCLC library identifier |
AU@ |
| System control number |
000060388496 |
| 029 1# - (OCLC) |
|---|
| OCLC library identifier |
NLGGC |
| System control number |
384369839 |
| 029 1# - (OCLC) |
|---|
| OCLC library identifier |
NZ1 |
| System control number |
12798294 |
| 029 1# - (OCLC) |
|---|
| OCLC library identifier |
NZ1 |
| System control number |
13658407 |
| 035 ## - SYSTEM CONTROL NUMBER |
|---|
| System control number |
(OCoLC)288567880 |
| Canceled/invalid control number |
(OCoLC)257425933 |
| -- |
(OCoLC)488393354 |
| -- |
(OCoLC)646765792 |
| -- |
(OCoLC)1087412751 |
| -- |
(OCoLC)1112535712 |
| -- |
(OCoLC)1170329815 |
| -- |
(OCoLC)1170630895 |
| -- |
(OCoLC)1204024225 |
| 037 ## - SOURCE OF ACQUISITION |
|---|
| Stock number |
978-3-540-85777-8 |
| Source of stock number/acquisition |
Springer |
| Note |
http://www.springerlink.com |
| 050 #4 - LIBRARY OF CONGRESS CALL NUMBER |
|---|
| Classification number |
QA76.9.C65 |
| Item number |
F67 2008eb |
| 072 #7 - SUBJECT CATEGORY CODE |
|---|
| Subject category code |
QA |
| Source |
lcco |
| 072 #7 - SUBJECT CATEGORY CODE |
|---|
| Subject category code |
UM |
| Source |
bicssc |
| 072 #7 - SUBJECT CATEGORY CODE |
|---|
| Subject category code |
UYF |
| Source |
bicssc |
| 072 #7 - SUBJECT CATEGORY CODE |
|---|
| Subject category code |
COM051000 |
| Source |
bisacsh |
| 072 #7 - SUBJECT CATEGORY CODE |
|---|
| Subject category code |
COM036000 |
| Source |
bisacsh |
| 082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER |
|---|
| Classification number |
004.33 |
| Edition number |
22 |
| 084 ## - OTHER CLASSIFICATION NUMBER |
|---|
| Classification number |
54.10 |
| Number source |
bcl |
| 049 ## - LOCAL HOLDINGS (OCLC) |
|---|
| Holding library |
MAIN |
| 111 2# - MAIN ENTRY--MEETING NAME |
|---|
| Meeting name or jurisdiction name as entry element |
FORMATS (Conference) |
| Number of part/section/meeting |
(6th : |
| Date of meeting |
2008 : |
| Location of meeting |
Saint-Malo, France) |
| 9 (RLIN) |
31506 |
| 245 10 - TITLE STATEMENT |
|---|
| Title |
Formal modeling and analysis of timed systems : |
| Remainder of title |
6th international conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008 ; proceedings / |
| Statement of responsibility, etc. |
Franck Cassez, Claude Jard (eds.). |
| 246 30 - VARYING FORM OF TITLE |
|---|
| Title proper/short title |
FORMATS 2008 |
| 260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT) |
|---|
| Place of publication, distribution, etc. |
Berlin : |
| Name of publisher, distributor, etc. |
Springer, |
| Date of publication, distribution, etc. |
2008. |
| 300 ## - PHYSICAL DESCRIPTION |
|---|
| Extent |
1 online resource (xi, 294 pages) : |
| Other physical details |
illustrations |
| 336 ## - CONTENT TYPE |
|---|
| Content type term |
text |
| Content type code |
txt |
| Source |
rdacontent |
| 337 ## - MEDIA TYPE |
|---|
| Media type term |
computer |
| Media type code |
c |
| Source |
rdamedia |
| 338 ## - CARRIER TYPE |
|---|
| Carrier type term |
online resource |
| Carrier type code |
cr |
| Source |
rdacarrier |
| 347 ## - DIGITAL FILE CHARACTERISTICS |
|---|
| File type |
text file |
| 347 ## - DIGITAL FILE CHARACTERISTICS |
|---|
| Encoding format |
PDF |
| 490 1# - SERIES STATEMENT |
|---|
| Series statement |
Lecture notes in computer science, |
| International Standard Serial Number |
0302-9743 ; |
| Volume/sequential designation |
5215 |
| 490 1# - SERIES STATEMENT |
|---|
| Series statement |
Lecture notes in computer science, |
| International Standard Serial Number |
1611-3349 ; |
| Volume/sequential designation |
5212. |
| Series statement |
Theoretical computer science and general issues |
| 504 ## - BIBLIOGRAPHY, ETC. NOTE |
|---|
| Bibliography, etc |
Includes bibliographical references and index. |
| 588 0# - SOURCE OF DESCRIPTION NOTE |
|---|
| Source of description note |
Print version record. |
| 505 0# - FORMATTED CONTENTS NOTE |
|---|
| Formatted contents note |
Invited Talks -- Some Recent Results in Metric Temporal Logic -- Composing Web Services in an Open World: Issues of Quality of Service -- Comparing the Expressiveness of Timed Automata and Timed Extensions of Petri Nets -- Session 1. Extensions of Timed Automata and Semantics -- Infinite Runs in Weighted Timed Automata with Energy Constraints -- Concavely-Priced Timed Automata -- Average-Price and Reachability-Price Games on Hybrid Automata with Strong Resets -- Timed Automata with Integer Resets: Language Inclusion and Expressiveness -- Session 2. Timed Games and Logic -- Complexity of Metric Temporal Logics with Counting and the Pnueli Modalities -- MTL with Bounded Variability: Decidability and Complexity -- Timed Parity Games: Complexity and Robustness -- On Scheduling Policies for Streams of Structured Jobs -- Session 3. Case Studies -- A Framework for Distributing Real-Time Functions -- Formal Modeling and Scheduling of Datapaths of Digital Document Printers -- Session 4. Model-Checking of Probabilistic Systems -- A Uniformization-Based Algorithm for Model Checking the CSL Until Operator on Labeled Queueing Networks -- Model Checking HML on Piecewise-Constant Inhomogeneous Markov Chains -- Session 5. Verification and Test -- Convergence Verification: From Shared Memory to Partially Synchronous Systems -- Compositional Abstraction in Real-Time Model Checking -- On Conformance Testing for Timed Systems -- Session 6. Time Petri Nets -- Relevant Timed Schedules / Clock Valuations for Constructing Time Petri Net Reachability Graphs -- Parametric Model-Checking of Time Petri Nets with Stopwatches Using the State-Class Graph. |
| 520 ## - SUMMARY, ETC. |
|---|
| Summary, etc. |
This book constitutes the refereed proceedings of the 6th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2008, held in Saint Malo, France, September 2008. 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. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Computer simulation |
| Form subdivision |
Congresses. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Temporal automata |
| Form subdivision |
Congresses. |
| 9 (RLIN) |
18162 |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Formal methods (Computer science) |
| Form subdivision |
Congresses. |
| 9 (RLIN) |
15679 |
| 650 #6 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Simulation par ordinateur |
| Form subdivision |
Congrès. |
| 9 (RLIN) |
18853 |
| 650 #6 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Automates temporels |
| Form subdivision |
Congrès. |
| 9 (RLIN) |
28371 |
| 650 #6 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Méthodes formelles (Informatique) |
| Form subdivision |
Congrès. |
| 9 (RLIN) |
18838 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Informatique. |
| Source of heading or term |
eclas |
| 9 (RLIN) |
14930 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Computer simulation |
| Source of heading or term |
fast |
| 9 (RLIN) |
2625 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Formal methods (Computer science) |
| Source of heading or term |
fast |
| 9 (RLIN) |
15635 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Temporal automata |
| Source of heading or term |
fast |
| 9 (RLIN) |
18163 |
| 655 #2 - INDEX TERM--GENRE/FORM |
|---|
| Genre/form data or focus term |
Congress |
| 9 (RLIN) |
11670 |
| 655 #7 - INDEX TERM--GENRE/FORM |
|---|
| Genre/form data or focus term |
proceedings (reports) |
| Source of term |
aat |
| 655 #7 - INDEX TERM--GENRE/FORM |
|---|
| Genre/form data or focus term |
Conference papers and proceedings |
| Source of term |
fast |
| 9 (RLIN) |
6065 |
| 655 #7 - INDEX TERM--GENRE/FORM |
|---|
| Genre/form data or focus term |
Conference papers and proceedings. |
| Source of term |
lcgft |
| 9 (RLIN) |
6065 |
| 655 #7 - INDEX TERM--GENRE/FORM |
|---|
| Genre/form data or focus term |
Actes de congrès. |
| Source of term |
rvmgf |
| 9 (RLIN) |
609890 |
| 700 1# - ADDED ENTRY--PERSONAL NAME |
|---|
| Personal name |
Cassez, Franck, |
| Dates associated with a name |
1967- |
| -- |
https://id.oclc.org/worldcat/entity/E39PCjGvFdkMbkdyHm4bKQHtDm |
| 9 (RLIN) |
15847 |
| 700 1# - ADDED ENTRY--PERSONAL NAME |
|---|
| Personal name |
Jard, Claude. |
| 9 (RLIN) |
31508 |
| 758 ## - |
|---|
| -- |
has work: |
| -- |
Formal modeling and analysis of timed systems (Text) |
| -- |
https://id.oclc.org/worldcat/entity/E39PCH8xHPXpkQyt698C6CQRBq |
| -- |
https://id.oclc.org/worldcat/ontology/hasWork |
| 776 08 - ADDITIONAL PHYSICAL FORM ENTRY |
|---|
| Relationship information |
Print version: |
| Main entry heading |
FORMATS 2008 (2008 : Saint-Malo, France). |
| Title |
Formal modeling and analysis of timed systems. |
| Place, publisher, and date of publication |
Berlin : Springer, 2008 |
| International Standard Book Number |
9783540857778 |
| -- |
354085777X |
| Record control number |
(OCoLC)251303604 |
| 830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE |
|---|
| Uniform title |
Lecture notes in computer science ; |
| Volume number/sequential designation |
5215. |
| International Standard Serial Number |
0302-9743 |
| 830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE |
|---|
| Uniform title |
LNCS sublibrary. |
| Number of part/section of a work |
SL 1, |
| Name of part/section of a work |
Theoretical computer science and general issues. |
| 9 (RLIN) |
20736 |
| 856 40 - ELECTRONIC LOCATION AND ACCESS |
|---|
| Uniform Resource Identifier |
<a href="https://link.springer.com/10.1007/978-3-540-85778-5">https://link.springer.com/10.1007/978-3-540-85778-5</a> |
| 938 ## - |
|---|
| -- |
ProQuest Ebook Central |
| -- |
EBLB |
| -- |
EBL6511670 |
| 938 ## - |
|---|
| -- |
ProQuest Ebook Central |
| -- |
EBLB |
| -- |
EBL3063530 |
| 938 ## - |
|---|
| -- |
ebrary |
| -- |
EBRY |
| -- |
ebr10253552 |
| 938 ## - |
|---|
| -- |
YBP Library Services |
| -- |
YANK |
| -- |
3025307 |
| 994 ## - |
|---|
| -- |
92 |
| -- |
ATIST |