skip to content
Real-time systems : modeling, design, and applications Preview this item
ClosePreview this item
Checking...

Real-time systems : modeling, design, and applications

Author: Dan Ionescu; Aurel Cornell
Publisher: Singapore ; Hackensack, NJ : World Scientific, ©2007.
Series: AMAST series in computing, vol. 8.
Edition/Format:   eBook : Document : EnglishView all editions and formats
Database:WorldCat
Summary:
This book collects the research work of leading-edge researchers and practitioners in the areas of analysis, synthesis, design and implementation of real-time systems with applications in various industrial fields. Their works are grouped into six parts, together encompassing twenty chapters. Each part is devoted to a mainstream subject, the chapters therein developing one of the major aspects of real-time system  Read more...
Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

 

Find a copy online

Links to this item

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Genre/Form: Electronic books
Additional Physical Format: Print version:
Real-time systems.
Singapore ; Hackensack, NJ : World Scientific, ©2007
(DLC) 2007278665
(OCoLC)144529416
Material Type: Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: Dan Ionescu; Aurel Cornell
ISBN: 9789812708472 9812708472
OCLC Number: 173281641
Description: 1 online resource (xxi, 480 pages) : illustrations.
Contents: Preface; Contents; PART 1 Theoretical Aspects of Real-Time Systems; Chapter 1 A Discrete Model for Real-Time Environments; Chapter 2 Distributed Synchronous Processes; Chapter 3 A Model of Probabilistic Processes; Chapter 4 Modeling and Proving Grafcets with Transition Systems; Chapter 5 Focus Points and Convergent Process Operators; PART 2 Verification Methods for Real-Time Systems; Chapter 6 The Automatic Verification Using Symbolic Model-Checking; Chapter 7 Property Verification within a Process Algebra Framework; PART 3 Synthesis Methods for Real-Time Systems.
Series Title: AMAST series in computing, vol. 8.
Responsibility: editors, Dan Inoescu, Aurel Cornell.

Abstract:

Starting with a general approach in the area of formalization of real-time systems, and setting the foundations for a general systemic theory of those systems, this book covers everything from  Read more...

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.

Similar Items

Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


Primary Entity

<http://www.worldcat.org/oclc/173281641> # Real-time systems : modeling, design, and applications
    a schema:CreativeWork, schema:Book, schema:MediaObject ;
    library:oclcnum "173281641" ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/863470861#Place/hackensack_nj> ; # Hackensack, NJ
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/si> ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/863470861#Place/singapore> ; # Singapore
    schema:about <http://id.worldcat.org/fast/1091219> ; # Real-time data processing
    schema:about <http://dewey.info/class/004.33/e22/> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/863470861#Topic/computers_data_processing> ; # COMPUTERS--Data Processing
    schema:bookFormat schema:EBook ;
    schema:contributor <http://experiment.worldcat.org/entity/work/data/863470861#Person/ionescu_dan> ; # Dan Ionescu
    schema:contributor <http://viaf.org/viaf/270984281> ; # Aurel Cornell
    schema:copyrightYear "2007" ;
    schema:datePublished "2007" ;
    schema:description "Preface; Contents; PART 1 Theoretical Aspects of Real-Time Systems; Chapter 1 A Discrete Model for Real-Time Environments; Chapter 2 Distributed Synchronous Processes; Chapter 3 A Model of Probabilistic Processes; Chapter 4 Modeling and Proving Grafcets with Transition Systems; Chapter 5 Focus Points and Convergent Process Operators; PART 2 Verification Methods for Real-Time Systems; Chapter 6 The Automatic Verification Using Symbolic Model-Checking; Chapter 7 Property Verification within a Process Algebra Framework; PART 3 Synthesis Methods for Real-Time Systems."@en ;
    schema:description "This book collects the research work of leading-edge researchers and practitioners in the areas of analysis, synthesis, design and implementation of real-time systems with applications in various industrial fields. Their works are grouped into six parts, together encompassing twenty chapters. Each part is devoted to a mainstream subject, the chapters therein developing one of the major aspects of real-time system theory, modeling, design, and practical applications. Starting with a general approach in the area of formalization of real-time systems, and setting the foundations for a general sys."@en ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/863470861> ;
    schema:genre "Electronic books"@en ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/863470861#Series/amast_series_in_computing> ; # AMAST series in computing ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/144529416> ;
    schema:name "Real-time systems : modeling, design, and applications"@en ;
    schema:productID "173281641" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/173281641#PublicationEvent/singapore_hackensack_nj_world_scientific_2007> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/863470861#Agent/world_scientific> ; # World Scientific
    schema:url <http://www.myilibrary.com?id=112076> ;
    schema:url <http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=203876> ;
    schema:url <http://site.ebrary.com/id/10188827> ;
    schema:workExample <http://worldcat.org/isbn/9789812708472> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/173281641> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/863470861#Agent/world_scientific> # World Scientific
    a bgn:Agent ;
    schema:name "World Scientific" ;
    .

<http://experiment.worldcat.org/entity/work/data/863470861#Person/ionescu_dan> # Dan Ionescu
    a schema:Person ;
    schema:familyName "Ionescu" ;
    schema:givenName "Dan" ;
    schema:name "Dan Ionescu" ;
    .

<http://experiment.worldcat.org/entity/work/data/863470861#Place/hackensack_nj> # Hackensack, NJ
    a schema:Place ;
    schema:name "Hackensack, NJ" ;
    .

<http://experiment.worldcat.org/entity/work/data/863470861#Series/amast_series_in_computing> # AMAST series in computing ;
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/173281641> ; # Real-time systems : modeling, design, and applications
    schema:name "AMAST series in computing ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/863470861#Topic/computers_data_processing> # COMPUTERS--Data Processing
    a schema:Intangible ;
    schema:name "COMPUTERS--Data Processing"@en ;
    .

<http://id.worldcat.org/fast/1091219> # Real-time data processing
    a schema:Intangible ;
    schema:name "Real-time data processing"@en ;
    .

<http://viaf.org/viaf/270984281> # Aurel Cornell
    a schema:Person ;
    schema:familyName "Cornell" ;
    schema:givenName "Aurel" ;
    schema:name "Aurel Cornell" ;
    .

<http://worldcat.org/isbn/9789812708472>
    a schema:ProductModel ;
    schema:isbn "9812708472" ;
    schema:isbn "9789812708472" ;
    .

<http://www.worldcat.org/oclc/144529416>
    a schema:CreativeWork ;
    rdfs:label "Real-time systems." ;
    schema:description "Print version:" ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/173281641> ; # Real-time systems : modeling, design, and applications
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.