Formal modeling and analysis of timed systems : (Record no. 637565)

MARC details
000 -LEADER
fixed length control field 05796cam a2200925 a 4500
001 - CONTROL NUMBER
control field ocn262681902
003 - CONTROL NUMBER IDENTIFIER
control field OCoLC
005 - DATE AND TIME OF LATEST TRANSACTION
control field 20250703145047.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 081017s2005 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 OCLCQ
-- HNK
-- BAKER
-- W2U
-- YNG
-- NUI
-- N$T
-- OCLCQ
-- I8H
-- E7B
-- DKDLA
-- OCLCO
-- OCLCQ
-- OCLCA
-- OCLCF
-- BEDGE
-- ITD
-- OCLCO
-- IDEBK
-- OCLCQ
-- ORU
-- OCL
-- OCLCO
-- OCLCQ
-- ESU
-- OCLCQ
-- UAB
-- U3W
-- BUF
-- OCLCQ
-- TFW
-- OCLCO
-- WYU
-- ICG
-- OCLCQ
-- OCLCO
-- OL$
-- OCLCQ
-- LUN
-- EUX
-- OCLCQ
-- UKAHL
-- OCLCO
-- COM
-- OCLCO
-- OCLCQ
-- OCLCL
-- OCLCA
-- INARC
-- OCLCO
-- OCLCA
019 ## -
-- 62513772
-- 222316256
-- 466348143
-- 476138531
-- 612919839
-- 703152880
-- 785779836
-- 1171796640
-- 1173752819
-- 1238693878
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 9783540316169
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 3540316167
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 3540309462
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 9783540309468
024 8# - OTHER STANDARD IDENTIFIER
Standard number or code 9786611406912
029 1# - (OCLC)
OCLC library identifier AU@
System control number 000042438207
029 1# - (OCLC)
OCLC library identifier HEBIS
System control number 192068601
029 1# - (OCLC)
OCLC library identifier NLGGC
System control number 384379737
029 1# - (OCLC)
OCLC library identifier NZ1
System control number 12279032
029 1# - (OCLC)
OCLC library identifier NZ1
System control number 13666547
035 ## - SYSTEM CONTROL NUMBER
System control number (OCoLC)262681902
Canceled/invalid control number (OCoLC)62513772
-- (OCoLC)222316256
-- (OCoLC)466348143
-- (OCoLC)476138531
-- (OCoLC)612919839
-- (OCoLC)703152880
-- (OCoLC)785779836
-- (OCoLC)1171796640
-- (OCoLC)1173752819
-- (OCoLC)1238693878
037 ## - SOURCE OF ACQUISITION
Stock number 978-3-540-30946-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 F676 2005
072 #7 - SUBJECT CATEGORY CODE
Subject category code COM
Subject category code subdivision 072000
Source bisacsh
082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER
Classification number 003/.3
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 (3rd :
Date of meeting 2005 :
Location of meeting Uppsala, Sweden)
9 (RLIN) 28369
245 10 - TITLE STATEMENT
Title Formal modeling and analysis of timed systems :
Remainder of title third international conference, FORMATS 2005, Uppsala, Sweden, September 26-28, 2005 : proceedings /
Statement of responsibility, etc. Paul Pettersson, Wang Yi (eds.).
260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT)
Place of publication, distribution, etc. Berlin ;
-- New York :
Name of publisher, distributor, etc. Springer,
Date of publication, distribution, etc. ©2005.
300 ## - PHYSICAL DESCRIPTION
Extent 1 online resource (ix, 303 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
490 1# - SERIES STATEMENT
Series statement Lecture notes in computer science,
International Standard Serial Number 0302-9743 ;
Volume/sequential designation 3829
504 ## - BIBLIOGRAPHY, ETC. NOTE
Bibliography, etc Includes bibliographical references and index.
505 0# - FORMATTED CONTENTS NOTE
Formatted contents note Invited talk: Modular performance analysis of distributed embedded systems / Lothar Thiele -- Logic and specification -- Times games and synthesis -- Invited talk: Verification of parameterized timed systems / Parosh Azia Abdulla -- Model checking -- Invited talk : Timing analysis and simulation tools for real-time control / Karl-Eric Arzén -- Hybrid systems -- Petri nets -- Semantics -- Semantics and modelling.
588 0# - SOURCE OF DESCRIPTION NOTE
Source of description note Print version record.
520 8# - SUMMARY, ETC.
Summary, etc. Annotation
Expansion of summary note This book constitutes the thoroughly refereed post-proceedings of the Third International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2005, held in Uppsala, Sweden in September 2005 in conjunction with ARTIST2 summer school on Component Modelling, Testing and Verification, and Static analysis of embedded systems. The 19 revised full papers presented together with the abstracts of 3 invited talks were carefully selected from 43 submissions. The papers cover work on semantics and modeling of timed systems, formalisms for modeling and verification including timed automata, hybrid automata, and timed petri nets, games for verification and synthesis, model-checking, case studies and issues related to implementation, security and performance analysis.
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 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Machine theory
Form subdivision Congresses.
9 (RLIN) 14625
650 #6 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Théorie des automates
Form subdivision Congrès.
9 (RLIN) 39333
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 #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 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element COMPUTERS
General subdivision Computer Simulation.
Source of heading or term bisacsh
9 (RLIN) 18605
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 Machine theory
Source of heading or term fast
9 (RLIN) 14628
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
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Echtzeitsystem
Source of heading or term gnd
9 (RLIN) 26100
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Formale Methode
Source of heading or term gnd
9 (RLIN) 18841
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Formale Sprache
Source of heading or term gnd
9 (RLIN) 19600
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Temporale Logik
Source of heading or term gnd
9 (RLIN) 17871
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Zeitdiskretes System
Source of heading or term gnd
9 (RLIN) 28372
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 Pettersson, Paul.
-- https://id.oclc.org/worldcat/entity/E39PCjMkWCfqv9RgyYpJ7hF9Xd
9 (RLIN) 28373
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Yi, Wang.
-- https://id.oclc.org/worldcat/entity/E39PCjvMjrvRXrBDmjYkv8wDdP
9 (RLIN) 24689
758 ## -
-- has work:
-- Formal modeling and analysis of timed systems (Text)
-- https://id.oclc.org/worldcat/entity/E39PCFPpB4WQ6x47djJVrXJHJC
-- https://id.oclc.org/worldcat/ontology/hasWork
776 08 - ADDITIONAL PHYSICAL FORM ENTRY
Relationship information Print version:
Main entry heading FORMATS 2005 (2005 : Uppsala, Sweden).
Title Formal modeling and analysis of timed systems.
Place, publisher, and date of publication Berlin ; New York : Springer, ©2005
International Standard Book Number 3540309462
-- 9783540309468
Record control number (DLC) 2005937088
-- (OCoLC)63107695
830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE
Uniform title Lecture notes in computer science ;
Volume number/sequential designation 3829.
International Standard Serial Number 0302-9743
856 40 - ELECTRONIC LOCATION AND ACCESS
Uniform Resource Identifier <a href="https://link.springer.com/10.1007/11603009">https://link.springer.com/10.1007/11603009</a>
938 ## -
-- Internet Archive
-- INAR
-- formalmodelingan0000form
938 ## -
-- Askews and Holts Library Services
-- ASKH
-- AH20751890
938 ## -
-- Baker & Taylor
-- BKTY
-- 67.00
-- 67.00
-- 3540309462
-- 0006693228
-- active
938 ## -
-- ebrary
-- EBRY
-- ebr10531391
938 ## -
-- EBSCOhost
-- EBSC
-- 183019
938 ## -
-- ProQuest MyiLibrary Digital eBook Collection
-- IDEB
-- cis23803422
994 ## -
-- 92
-- ATIST
Holdings
Withdrawn status Lost status Damaged status Not for loan Collection code Home library Current library Date acquired Total Checkouts Date last seen Price effective from Koha item type
  Not Lost     eBook LNCS e-Library e-Library 28/07/2022   28/07/2022 28/07/2022 eBook

Powered by Koha