skip to content
Fourth NASA Langley Formal Methods Workshop Preview this item
ClosePreview this item
Checking...

Fourth NASA Langley Formal Methods Workshop

Author: C Michael Holloway; Kelly J Hayhurst; United States. National Aeronautics and Space Administration.; Langley Research Center.
Publisher: [Hampton, Va.] : [National Aeronautics and Space Administration, Langley Research Center], 1997.
Series: NASA conference publication, 3356.
Edition/Format:   Book   Microform : Conference publication : National government publication : Microfiche : EnglishView all editions and formats
Database:WorldCat
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: C Michael Holloway; Kelly J Hayhurst; United States. National Aeronautics and Space Administration.; Langley Research Center.
OCLC Number: 45129899
Notes: "Proceedings of a workshop sponsored by the National Aeronautics and Space Administration, Washington, D.C., and held at the Radisson Hotel, Hampton, Virginia, September 10-12, 1997."
"September 1997."
Performing organization: NASA Langley Research Center.
Reproduction Notes: Microfiche. [Washington, D.C. : National Aeronautics and Space Administration, 1999]. 3 microfiches.
Description: vii, 204 pages : illustrations ; 28 cm.
Series Title: NASA conference publication, 3356.
Other Titles: 4th NASA Langley Formal Methods Workshop
Lfm97
Responsibility: compiled by C. Michael Holloway and Kelly J. Hayhurst.

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/45129899> # Fourth NASA Langley Formal Methods Workshop
    a bgn:Microform, schema:Book, schema:CreativeWork ;
    library:oclcnum "45129899" ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/12178997#Place/hampton_va> ; # Hampton, Va.)
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/vau> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/12178997#Topic/automatic_control_data_processing> ; # Automatic control--Data processing
    schema:about <http://experiment.worldcat.org/entity/work/data/12178997#Topic/system_design> ; # System design
    schema:about <http://id.worldcat.org/fast/1141385> ; # System analysis
    schema:about <http://id.worldcat.org/fast/822705> ; # Automatic control--Data processing
    schema:about <http://id.worldcat.org/fast/921988> ; # Fault-tolerant computing
    schema:about <http://experiment.worldcat.org/entity/work/data/12178997#Topic/fault_tolerant_computing> ; # Fault-tolerant computing
    schema:about <http://id.worldcat.org/fast/1141401> ; # System design
    schema:about <http://experiment.worldcat.org/entity/work/data/12178997#Topic/system_analysis> ; # System analysis
    schema:alternateName "Lfm97" ;
    schema:alternateName "4th NASA Langley Formal Methods Workshop" ;
    schema:contributor <http://experiment.worldcat.org/entity/work/data/12178997#Person/holloway_c_michael> ; # C Michael Holloway
    schema:contributor <http://experiment.worldcat.org/entity/work/data/12178997#Organization/langley_research_center> ; # Langley Research Center.
    schema:contributor <http://viaf.org/viaf/146202023> ; # United States. National Aeronautics and Space Administration.
    schema:contributor <http://viaf.org/viaf/16916850> ; # Kelly Jeanne Hayhurst
    schema:creator <http://experiment.worldcat.org/entity/work/data/12178997#Meeting/nasa_formal_methods_workshop_4th_1997_hampton_va> ; # NASA Formal Methods Workshop (4th : 1997 : Hampton, Va.)
    schema:datePublished "1997" ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/12178997> ;
    schema:genre "National government publication"@en ;
    schema:genre "Conference publication"@en ;
    schema:genre "Conference papers and proceedings"@en ;
    schema:genre "Government publication"@en ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/12178997#Series/nasa_conference_publication> ; # NASA conference publication ;
    schema:name "Fourth NASA Langley Formal Methods Workshop"@en ;
    schema:productID "45129899" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/45129899#PublicationEvent/hampton_va_national_aeronautics_and_space_administration_langley_research_center_1997> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/12178997#Agent/national_aeronautics_and_space_administration_langley_research_center> ; # [National Aeronautics and Space Administration, Langley Research Center]
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/45129899> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/12178997#Agent/national_aeronautics_and_space_administration_langley_research_center> # [National Aeronautics and Space Administration, Langley Research Center]
    a bgn:Agent ;
    schema:name "[National Aeronautics and Space Administration, Langley Research Center]" ;
    .

<http://experiment.worldcat.org/entity/work/data/12178997#Meeting/nasa_formal_methods_workshop_4th_1997_hampton_va> # NASA Formal Methods Workshop (4th : 1997 : Hampton, Va.)
    a bgn:Meeting, schema:Event ;
    schema:location <http://experiment.worldcat.org/entity/work/data/12178997#Place/hampton_va> ; # Hampton, Va.)
    schema:name "NASA Formal Methods Workshop (4th : 1997 : Hampton, Va.)" ;
    .

<http://experiment.worldcat.org/entity/work/data/12178997#Organization/langley_research_center> # Langley Research Center.
    a schema:Organization ;
    schema:name "Langley Research Center." ;
    .

<http://experiment.worldcat.org/entity/work/data/12178997#Person/holloway_c_michael> # C Michael Holloway
    a schema:Person ;
    schema:familyName "Holloway" ;
    schema:givenName "C. Michael" ;
    schema:name "C Michael Holloway" ;
    .

<http://experiment.worldcat.org/entity/work/data/12178997#Place/hampton_va> # Hampton, Va.)
    a schema:Place ;
    schema:name "Hampton, Va.)" ;
    schema:name "Hampton, Va." ;
    .

<http://experiment.worldcat.org/entity/work/data/12178997#Series/nasa_conference_publication> # NASA conference publication ;
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/45129899> ; # Fourth NASA Langley Formal Methods Workshop
    schema:name "NASA conference publication ;" ;
    .

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

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

<http://id.worldcat.org/fast/822705> # Automatic control--Data processing
    a schema:Intangible ;
    schema:name "Automatic control--Data processing"@en ;
    .

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

<http://viaf.org/viaf/146202023> # United States. National Aeronautics and Space Administration.
    a schema:Organization ;
    schema:name "United States. National Aeronautics and Space Administration." ;
    .

<http://viaf.org/viaf/16916850> # Kelly Jeanne Hayhurst
    a schema:Person ;
    schema:birthDate "1962" ;
    schema:familyName "Hayhurst" ;
    schema:givenName "Kelly Jeanne" ;
    schema:givenName "Kelly J." ;
    schema:name "Kelly Jeanne Hayhurst" ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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