عنوان
پدید آورنده
موضوع
رده
QA76.9.F67
QA76
.
9
.
F67
کتابخانه
محل استقرار
INTERNATIONAL STANDARD BOOK NUMBER
(Number (ISBN
3030001512
(Number (ISBN
3030001520
(Number (ISBN
9783030001513
(Number (ISBN
9783030001520
Erroneous ISBN
3030001504
Erroneous ISBN
9783030001506
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Formal modeling and analysis of timed systems :
General Material Designation
[Book]
Other Title Information
16th International Conference, FORMATS 2018, Beijing, China, September 4-6, 2018, Proceedings /
First Statement of Responsibility
David N. Jansen, Pavithra Prabhakar (eds.).
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
Cham, Switzerland :
Name of Publisher, Distributor, etc.
Springer,
Date of Publication, Distribution, etc.
2018.
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
1 online resource (x, 289 pages) :
Other Physical Details
illustrations.
SERIES
Series Title
Lecture notes in computer science,
Series Title
LNCS sublibrary. SL 1, Theoretical computer science and general issues
Volume Designation
11022
ISSN of Series
0302-9743 ;
GENERAL NOTES
Text of Note
Includes author index.
Text of Note
International conference proceedings.
CONTENTS NOTE
Text of Note
Invited Papers -- Temporal Logics -- Distributed Timed Systems -- Behavioral Equivalences -- Timed Words -- Continuous Dynamical Systems.
0
SUMMARY OR ABSTRACT
Text of Note
This book constitutes the refereed proceedings of the 16th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2018, held in Beijing, China, in September 2018. The 14 papers presented in this volume were carefully reviewed and selected from 29 submissions. The papers are organized in the following topical sections: invited papers, temporal logics, distributed timed systems, behavioral equivalences, timed words, and continuous dynamical systems. 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 interests in modeling and analysis of timed systems and, as a generalization, hybrid systems.
ACQUISITION INFORMATION NOTE
Source for Acquisition/Subscription Address
Springer Nature
Stock Number
com.springer.onix.9783030001513
OTHER EDITION IN ANOTHER MEDIUM
Title
Formal modeling and analysis of timed systems.
International Standard Book Number
9783030001506
PARALLEL TITLE PROPER
Parallel Title
FORMATS 2018
TOPICAL NAME USED AS SUBJECT
Computer simulation, Congresses.
Formal methods (Computer science), Congresses.
System analysis, Congresses.
Temporal automata, Congresses.
Algorithm Analysis and Problem Complexity.
Artificial Intelligence.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Simulation and Modeling.
Software Engineering.
3D graphics & modelling.
Algorithms & data structures.
Artificial intelligence.
Computer programming-- software development.
Computer simulation.
Computers-- Computer Simulation.
Computers-- Intelligence (AI) & Semantics.
Computers-- Programming-- Algorithms.
Computers-- Programming-- General.
Computers-- Software Development & Engineering-- General.
Formal methods (Computer science)
Mathematical theory of computation.
Mathematics-- Logic.
Software Engineering.
System analysis.
Temporal automata.
(SUBJECT CATEGORY (Provisional
COM051300
UMB
UMB
DEWEY DECIMAL CLASSIFICATION
Number
004
.
01/51
Edition
23
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA76
.
9
.
F67
PERSONAL NAME - ALTERNATIVE RESPONSIBILITY
Jansen, David N.
Prabhakar, Pavithra
CORPORATE BODY NAME - PRIMARY RESPONSIBILITY
FORMATS (Conference)(16th :2018 :, Beijing, China)
ORIGINATING SOURCE
Date of Transaction
20200823071435.0
Cataloguing Rules (Descriptive Conventions))
pn
ELECTRONIC LOCATION AND ACCESS
Electronic name
مطالعه متن کتاب [Book]
Y
