skip to content
Peer review of a formal verification/design proof methodology : summary of a sub-working-group meeting Preview this item
ClosePreview this item
Checking...

Peer review of a formal verification/design proof methodology : summary of a sub-working-group meeting

Author: Langley Research Center.; United States. National Aeronautics and Space Administration. Scientific and Technical Information Branch.
Publisher: Washington, D.C. : National Aeronautics and Space Administration, Scientific and Technical Information Branch ; Springfield, Va. : For sale by National Technical Information Service, 1985.
Series: NASA conference publication, 2377.
Edition/Format:   Book   Microform : Conference publication : National government publication : Microfiche : EnglishView all editions and formats
Rating:

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

Subjects
More like this

Find a copy in the library

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

Details

Genre/Form: Conference papers and proceedings
Congresses
Material Type: Conference publication, Government publication, National government publication
Document Type: Book
All Authors / Contributors: Langley Research Center.; United States. National Aeronautics and Space Administration. Scientific and Technical Information Branch.
OCLC Number: 15277645
Reproduction Notes: Microfiche. [Washington, D.C. : National Aeronautics and Space Administration, 1985]. 1 microfiche : negative.
Description: viii, 48 pages : illustrations ; 28 cm.
Series Title: NASA conference publication, 2377.
Responsibility: sponsored by NASA Langley Research Center and held at the Georgia Institute of Technology, Atlanta, Georgia, July 7-8, 1983.

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/15277645> # Peer review of a formal verification/design proof methodology : summary of a sub-working-group meeting
    a bgn:Microform, schema:CreativeWork, schema:Book ;
    library:oclcnum "15277645" ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/54805036#Place/washington_d_c> ; # Washington, D.C.
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/dcu> ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/54805036#Place/springfield_va> ; # Springfield, Va.
    schema:about <http://id.worldcat.org/fast/921988> ; # Fault-tolerant computing
    schema:about <http://id.worldcat.org/fast/1141401> ; # System design
    schema:about <http://experiment.worldcat.org/entity/work/data/54805036#Topic/fault_tolerant_computing> ; # Fault-tolerant computing
    schema:about <http://experiment.worldcat.org/entity/work/data/54805036#Topic/proving> ; # Proving
    schema:about <http://experiment.worldcat.org/entity/work/data/54805036#Topic/computer_software_verification> ; # Computer software--Verification
    schema:about <http://experiment.worldcat.org/entity/work/data/54805036#Topic/conferences> ; # Conferences
    schema:about <http://id.worldcat.org/fast/872604> ; # Computer software--Verification
    schema:about <http://experiment.worldcat.org/entity/work/data/54805036#Topic/design_analysis> ; # Design analysis
    schema:about <http://experiment.worldcat.org/entity/work/data/54805036#Topic/system_design> ; # System design
    schema:about <http://experiment.worldcat.org/entity/work/data/54805036#Topic/software_engineering> ; # Software engineering
    schema:contributor <http://viaf.org/viaf/126233085> ; # United States. National Aeronautics and Space Administration. Scientific and Technical Information Branch.
    schema:contributor <http://viaf.org/viaf/127305149> ; # Langley Research Center.
    schema:datePublished "1985" ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/54805036> ;
    schema:genre "Government publication"@en ;
    schema:genre "Conference publication"@en ;
    schema:genre "Congresses"@en ;
    schema:genre "National government publication"@en ;
    schema:genre "Conference papers and proceedings"@en ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/54805036#Series/nasa_conference_publication> ; # NASA conference publication ;
    schema:name "Peer review of a formal verification/design proof methodology : summary of a sub-working-group meeting"@en ;
    schema:productID "15277645" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/15277645#PublicationEvent/washington_d_c_national_aeronautics_and_space_administration_scientific_and_technical_information_branch_springfield_va_for_sale_by_national_technical_information_service_1985> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/54805036#Agent/national_aeronautics_and_space_administration_scientific_and_technical_information_branch> ; # National Aeronautics and Space Administration, Scientific and Technical Information Branch
    schema:publisher <http://experiment.worldcat.org/entity/work/data/54805036#Agent/for_sale_by_national_technical_information_service> ; # For sale by National Technical Information Service
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/15277645> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/54805036#Agent/for_sale_by_national_technical_information_service> # For sale by National Technical Information Service
    a bgn:Agent ;
    schema:name "For sale by National Technical Information Service" ;
    .

<http://experiment.worldcat.org/entity/work/data/54805036#Agent/national_aeronautics_and_space_administration_scientific_and_technical_information_branch> # National Aeronautics and Space Administration, Scientific and Technical Information Branch
    a bgn:Agent ;
    schema:name "National Aeronautics and Space Administration, Scientific and Technical Information Branch" ;
    .

<http://experiment.worldcat.org/entity/work/data/54805036#Place/springfield_va> # Springfield, Va.
    a schema:Place ;
    schema:name "Springfield, Va." ;
    .

<http://experiment.worldcat.org/entity/work/data/54805036#Place/washington_d_c> # Washington, D.C.
    a schema:Place ;
    schema:name "Washington, D.C." ;
    .

<http://experiment.worldcat.org/entity/work/data/54805036#Series/nasa_conference_publication> # NASA conference publication ;
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/15277645> ; # Peer review of a formal verification/design proof methodology : summary of a sub-working-group meeting
    schema:name "NASA conference publication ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/54805036#Topic/software_engineering> # Software engineering
    a schema:Intangible ;
    schema:name "Software engineering"@en ;
    .

<http://id.worldcat.org/fast/1141401> # System design
    a schema:Intangible ;
    schema:name "System design"@en ;
    .

<http://id.worldcat.org/fast/872604> # Computer software--Verification
    a schema:Intangible ;
    schema:name "Computer software--Verification"@en ;
    .

<http://id.worldcat.org/fast/921988> # Fault-tolerant computing
    a schema:Intangible ;
    schema:name "Fault-tolerant computing"@en ;
    .

<http://viaf.org/viaf/126233085> # United States. National Aeronautics and Space Administration. Scientific and Technical Information Branch.
    a schema:Organization ;
    schema:name "United States. National Aeronautics and Space Administration. Scientific and Technical Information Branch." ;
    .

<http://viaf.org/viaf/127305149> # Langley Research Center.
    a schema:Organization ;
    schema:name "Langley Research Center." ;
    .

<http://www.worldcat.org/title/-/oclc/15277645>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
    schema:about <http://www.worldcat.org/oclc/15277645> ; # Peer review of a formal verification/design proof methodology : summary of a sub-working-group meeting
    schema:dateModified "2018-06-06" ;
    void:inDataset <http://purl.oclc.org/dataset/WorldCat> ;
    .

<http://www.worldcat.org/title/-/oclc/15277645#PublicationEvent/washington_d_c_national_aeronautics_and_space_administration_scientific_and_technical_information_branch_springfield_va_for_sale_by_national_technical_information_service_1985>
    a schema:PublicationEvent ;
    schema:location <http://experiment.worldcat.org/entity/work/data/54805036#Place/springfield_va> ; # Springfield, Va.
    schema:location <http://experiment.worldcat.org/entity/work/data/54805036#Place/washington_d_c> ; # Washington, D.C.
    schema:organizer <http://experiment.worldcat.org/entity/work/data/54805036#Agent/for_sale_by_national_technical_information_service> ; # For sale by National Technical Information Service
    schema:organizer <http://experiment.worldcat.org/entity/work/data/54805036#Agent/national_aeronautics_and_space_administration_scientific_and_technical_information_branch> ; # National Aeronautics and Space Administration, Scientific and Technical Information Branch
    schema:startDate "1985" ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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