skip to content
HASE 2007 : 10th IEEE International Symposium on High Assurance Systems Engineering Symposium : proceedings : 14-16 November, 2007, Dallas, Texas, USA Preview this item
ClosePreview this item
Checking...

HASE 2007 : 10th IEEE International Symposium on High Assurance Systems Engineering Symposium : proceedings : 14-16 November, 2007, Dallas, Texas, USA

Author: Bojan Cukic; Jing Dong; IEEE Computer Society.; University of Texas at Dallas.
Publisher: Los Alamitos, Calif. : IEEE Computer Society Press, ©2007.
Edition/Format:   eBook : Document : Conference publication : EnglishView all editions and formats
Database:WorldCat
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: Conference papers and proceedings
Congresses
Additional Physical Format: Print version:
IEEE High-Assurance Systems Engineering Symposium (10h : 2007 : Dallas, Tex.).
HASE 2007.
Los Alamitos, Calif. : IEEE Computer Society Press, ©2007
(OCoLC)184840742
Material Type: Conference publication, Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: Bojan Cukic; Jing Dong; IEEE Computer Society.; University of Texas at Dallas.
OCLC Number: 184843926
Notes: "IEEE Computer Society Press Order Number P3043"--Title page verso.
Description: 1 online resource (xvii, 440 pages) : illustrations
Other Titles: 10th IEEE International Symposium on High-Assurance Systems Engineering
IEEE High-Assurance Systems Engineering Workshop
High-Assurance Systems Engineering Symposium
High Assurance Systems Engineering Symposium, 2007, HASE '07, 10th IEEE
Responsibility: sponsored by IEEE Computer Society, the University of Texas ; edited by Bojan Cukic and Jing Dong.

Reviews

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

Tags

Be the first.
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/184843926> # HASE 2007 : 10th IEEE International Symposium on High Assurance Systems Engineering Symposium : proceedings : 14-16 November, 2007, Dallas, Texas, USA
    a schema:CreativeWork, schema:Book, schema:MediaObject ;
    library:oclcnum "184843926" ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/2542064151#Place/los_alamitos_calif> ; # Los Alamitos, Calif.
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/cau> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/2542064151#Topic/systems_engineering> ; # Systems engineering
    schema:about <http://experiment.worldcat.org/entity/work/data/2542064151#Topic/ebooks_uml> ; # Ebooks--UML
    schema:about <http://experiment.worldcat.org/entity/work/data/2542064151#Topic/electronic_data_processing_distributed_processing> ; # Electronic data processing--Distributed processing
    schema:alternateName "IEEE High-Assurance Systems Engineering Workshop" ;
    schema:alternateName "High Assurance Systems Engineering Symposium, 2007, HASE '07, 10th IEEE" ;
    schema:alternateName "High-Assurance Systems Engineering Symposium" ;
    schema:alternateName "10th IEEE International Symposium on High-Assurance Systems Engineering" ;
    schema:bookFormat schema:EBook ;
    schema:contributor <http://experiment.worldcat.org/entity/work/data/2542064151#Organization/ieee_computer_society> ; # IEEE Computer Society.
    schema:contributor <http://experiment.worldcat.org/entity/work/data/2542064151#Person/cukic_bojan> ; # Bojan Cukic
    schema:contributor <http://experiment.worldcat.org/entity/work/data/2542064151#Person/dong_jing> ; # Jing Dong
    schema:contributor <http://experiment.worldcat.org/entity/work/data/2542064151#Organization/university_of_texas_at_dallas> ; # University of Texas at Dallas.
    schema:copyrightYear "2007" ;
    schema:creator <http://experiment.worldcat.org/entity/work/data/2542064151#Meeting/ieee_international_high_assurance_systems_engineering_symposium_10th_2007_dallas_tex> ; # IEEE International High-Assurance Systems Engineering Symposium (10th : 2007 : Dallas, Tex.)
    schema:datePublished "2007" ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/2542064151> ;
    schema:genre "Conference publication"@en ;
    schema:genre "Conference papers and proceedings"@en ;
    schema:inLanguage "en" ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/184840742> ;
    schema:name "HASE 2007 : 10th IEEE International Symposium on High Assurance Systems Engineering Symposium : proceedings : 14-16 November, 2007, Dallas, Texas, USA"@en ;
    schema:productID "184843926" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/184843926#PublicationEvent/los_alamitos_calif_ieee_computer_society_press_2007> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/2542064151#Agent/ieee_computer_society_press> ; # IEEE Computer Society Press
    schema:url <http://ieeexplore.ieee.org/servlet/opac?punumber=4404711> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/184843926> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/2542064151#Agent/ieee_computer_society_press> # IEEE Computer Society Press
    a bgn:Agent ;
    schema:name "IEEE Computer Society Press" ;
    .

<http://experiment.worldcat.org/entity/work/data/2542064151#Meeting/ieee_international_high_assurance_systems_engineering_symposium_10th_2007_dallas_tex> # IEEE International High-Assurance Systems Engineering Symposium (10th : 2007 : Dallas, Tex.)
    a bgn:Meeting, schema:Event ;
    schema:location <http://experiment.worldcat.org/entity/work/data/2542064151#Place/dallas_tex> ; # Dallas, Tex.)
    schema:name "IEEE International High-Assurance Systems Engineering Symposium (10th : 2007 : Dallas, Tex.)" ;
    .

<http://experiment.worldcat.org/entity/work/data/2542064151#Organization/ieee_computer_society> # IEEE Computer Society.
    a schema:Organization ;
    schema:name "IEEE Computer Society." ;
    .

<http://experiment.worldcat.org/entity/work/data/2542064151#Organization/university_of_texas_at_dallas> # University of Texas at Dallas.
    a schema:Organization ;
    schema:name "University of Texas at Dallas." ;
    .

<http://experiment.worldcat.org/entity/work/data/2542064151#Person/cukic_bojan> # Bojan Cukic
    a schema:Person ;
    schema:familyName "Cukic" ;
    schema:givenName "Bojan" ;
    schema:name "Bojan Cukic" ;
    .

<http://experiment.worldcat.org/entity/work/data/2542064151#Person/dong_jing> # Jing Dong
    a schema:Person ;
    schema:familyName "Dong" ;
    schema:givenName "Jing" ;
    schema:name "Jing Dong" ;
    .

<http://experiment.worldcat.org/entity/work/data/2542064151#Place/dallas_tex> # Dallas, Tex.)
    a schema:Place ;
    schema:name "Dallas, Tex.)" ;
    .

<http://experiment.worldcat.org/entity/work/data/2542064151#Place/los_alamitos_calif> # Los Alamitos, Calif.
    a schema:Place ;
    schema:name "Los Alamitos, Calif." ;
    .

<http://experiment.worldcat.org/entity/work/data/2542064151#Topic/electronic_data_processing_distributed_processing> # Electronic data processing--Distributed processing
    a schema:Intangible ;
    rdfs:seeAlso <http://id.loc.gov/authorities/subjects/sh2008102927> ;
    schema:name "Electronic data processing--Distributed processing"@en ;
    .

<http://www.worldcat.org/oclc/184840742>
    a schema:CreativeWork ;
    rdfs:label "HASE 2007." ;
    schema:description "Print version:" ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/184843926> ; # HASE 2007 : 10th IEEE International Symposium on High Assurance Systems Engineering Symposium : proceedings : 14-16 November, 2007, Dallas, Texas, USA
    .

<http://www.worldcat.org/title/-/oclc/184843926>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
    schema:about <http://www.worldcat.org/oclc/184843926> ; # HASE 2007 : 10th IEEE International Symposium on High Assurance Systems Engineering Symposium : proceedings : 14-16 November, 2007, Dallas, Texas, USA
    schema:dateModified "2016-05-21" ;
    void:inDataset <http://purl.oclc.org/dataset/WorldCat> ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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