skip to content
NASA formal methods : 10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018, Proceedings Preview this item
ClosePreview this item
Checking...

NASA formal methods : 10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018, Proceedings

Author: Aaron Michael Dutle; César A Muñoz; Anthony Joseph Narkawicz
Publisher: Cham : Springer, 2018.
Series: Lecture notes in computer science, 10811.; Lecture notes in computer science., Formal methods.; LNCS sublibrary., SL 2,, Programming and software engineering.
Edition/Format:   eBook : Document : Conference publication : EnglishView all editions and formats
Summary:
This book constitutes the proceedings of the 10th International Symposium on NASA Formal Methods, NFM 2018, held in Newport News, VA, USA, in April 2018 . The 24 full and 7 short papers presented in this volume were carefully reviewed and selected from 92 submissions. The papers focus on formal techniques and other approaches for software assurance, their theory, current capabilities and limitations, as well as  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
Conference papers and proceedings
Congresses
Additional Physical Format: Printed edition:
Material Type: Conference publication, Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: Aaron Michael Dutle; César A Muñoz; Anthony Joseph Narkawicz
ISBN: 9783319779355 3319779354 3319779346 9783319779348
OCLC Number: 1030992050
Notes: International conference proceedings.
Includes author index.
Description: 1 online resource (xi, 470 pages) : illustrations
Series Title: Lecture notes in computer science, 10811.; Lecture notes in computer science., Formal methods.; LNCS sublibrary., SL 2,, Programming and software engineering.
Other Titles: NFM 2018
Responsibility: Aaron Dutle, César Muñoz, Anthony Narkawicz (eds.).

Abstract:

This book constitutes the proceedings of the 10th International Symposium on NASA Formal Methods, NFM 2018, held in Newport News, VA, USA, in April 2018.The 24 full and 7 short papers presented in  Read more...

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/1030992050> # NASA formal methods : 10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018, Proceedings
    a schema:Book, schema:CreativeWork, schema:MediaObject ;
    library:oclcnum "1030992050" ;
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/sz> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/4881429557#Topic/programming_&_scripting_languages_general> ; # Programming & scripting languages: general
    schema:about <http://experiment.worldcat.org/entity/work/data/4881429557#Topic/computers_hardware_handheld_devices> ; # Computers--Hardware--Handheld Devices
    schema:about <http://experiment.worldcat.org/entity/work/data/4881429557#Topic/computers_computer_simulation> ; # Computers--Computer Simulation
    schema:about <http://experiment.worldcat.org/entity/work/data/4881429557#Topic/computers_software_development_&_engineering_general> ; # Computers--Software Development & Engineering--General
    schema:about <http://experiment.worldcat.org/entity/work/data/4881429557#Topic/computers_computer_science> ; # Computers--Computer Science
    schema:about <http://experiment.worldcat.org/entity/work/data/4881429557#Topic/computers_intelligence_ai_&_semantics> ; # Computers--Intelligence (AI) & Semantics
    schema:about <http://experiment.worldcat.org/entity/work/data/4881429557#Topic/formal_methods_computer_science> ; # Formal methods (Computer science)
    schema:about <http://experiment.worldcat.org/entity/work/data/4881429557#Topic/artificial_intelligence> ; # Artificial intelligence
    schema:about <http://experiment.worldcat.org/entity/work/data/4881429557#Topic/computer_modelling_&_simulation> ; # Computer modelling & simulation
    schema:about <http://experiment.worldcat.org/entity/work/data/4881429557#Topic/software_engineering> ; # Software Engineering
    schema:about <http://experiment.worldcat.org/entity/work/data/4881429557#Topic/computer_science> ; # Computer science
    schema:about <http://experiment.worldcat.org/entity/work/data/4881429557#Topic/systems_analysis_&_design> ; # Systems analysis & design
    schema:about <http://experiment.worldcat.org/entity/work/data/4881429557#Topic/computers_programming_languages_general> ; # Computers--Programming Languages--General
    schema:about <http://dewey.info/class/004.0151/e23/> ;
    schema:alternateName "NFM 2018" ;
    schema:bookFormat schema:EBook ;
    schema:creator <http://experiment.worldcat.org/entity/work/data/4881429557#Meeting/nfm_symposium_10th_2018_newport_news_va> ; # NFM (Symposium) (10th : 2018 : Newport News, Va.)
    schema:datePublished "2018" ;
    schema:description "This book constitutes the proceedings of the 10th International Symposium on NASA Formal Methods, NFM 2018, held in Newport News, VA, USA, in April 2018 . The 24 full and 7 short papers presented in this volume were carefully reviewed and selected from 92 submissions. The papers focus on formal techniques and other approaches for software assurance, their theory, current capabilities and limitations, as well as their potential application to aerospace, robotics, and other NASA-relevant safety-critical systems during all stages of the software life-cycle."@en ;
    schema:editor <http://experiment.worldcat.org/entity/work/data/4881429557#Person/dutle_aaron_michael> ; # Aaron Michael Dutle
    schema:editor <http://experiment.worldcat.org/entity/work/data/4881429557#Person/narkawicz_anthony_joseph_1982> ; # Anthony Joseph Narkawicz
    schema:editor <http://experiment.worldcat.org/entity/work/data/4881429557#Person/munoz_cesar_a_1968> ; # César A. Muñoz
    schema:exampleOfWork <http://worldcat.org/entity/work/id/4881429557> ;
    schema:genre "Conference publication"@en ;
    schema:genre "Electronic books"@en ;
    schema:genre "Conference papers and proceedings"@en ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://worldcat.org/issn/0302-9743> ; # Lecture notes in computer science ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/4881429557#Series/lecture_notes_in_computer_science> ; # Lecture notes in computer science.
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/4881429557#Series/lncs_sublibrary_sl_2_programming_and_software_engineering> ; # LNCS sublibrary. SL 2, Programming and software engineering
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/4881429557#Series/lncs_sublibrary> ; # LNCS sublibrary.
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/4881429557#Series/formal_methods> ; # Formal methods
    schema:isSimilarTo <http://worldcat.org/entity/work/data/4881429557#CreativeWork/> ;
    schema:name "NASA formal methods : 10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018, Proceedings"@en ;
    schema:productID "1030992050" ;
    schema:url <https://doi.org/10.1007/978-3-319-77935-5> ;
    schema:url <https://link.springer.com/book/10.1007/978-3-319-77934-8> ;
    schema:url <https://public.ebookcentral.proquest.com/choice/publicfullrecord.aspx?p=5577869> ;
    schema:url <https://link.springer.com/book/10.1007/978-3-319-77935-5> ;
    schema:workExample <http://worldcat.org/isbn/9783319779355> ;
    schema:workExample <http://worldcat.org/isbn/9783319779348> ;
    schema:workExample <http://dx.doi.org/10.1007/978-3-319-77935-5> ;
    umbel:isLike <http://bnb.data.bl.uk/id/resource/GBB8N9034> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/1030992050> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/4881429557#Meeting/nfm_symposium_10th_2018_newport_news_va> # NFM (Symposium) (10th : 2018 : Newport News, Va.)
    a bgn:Meeting, schema:Event ;
    schema:location <http://experiment.worldcat.org/entity/work/data/4881429557#Place/newport_news_va> ; # Newport News, Va.)
    schema:name "NFM (Symposium) (10th : 2018 : Newport News, Va.)" ;
    .

<http://experiment.worldcat.org/entity/work/data/4881429557#Person/dutle_aaron_michael> # Aaron Michael Dutle
    a schema:Person ;
    schema:familyName "Dutle" ;
    schema:givenName "Aaron Michael" ;
    schema:name "Aaron Michael Dutle" ;
    .

<http://experiment.worldcat.org/entity/work/data/4881429557#Person/munoz_cesar_a_1968> # César A. Muñoz
    a schema:Person ;
    schema:birthDate "1968" ;
    schema:familyName "Muñoz" ;
    schema:givenName "César A." ;
    schema:name "César A. Muñoz" ;
    .

<http://experiment.worldcat.org/entity/work/data/4881429557#Person/narkawicz_anthony_joseph_1982> # Anthony Joseph Narkawicz
    a schema:Person ;
    schema:birthDate "1982" ;
    schema:familyName "Narkawicz" ;
    schema:givenName "Anthony Joseph" ;
    schema:name "Anthony Joseph Narkawicz" ;
    .

<http://experiment.worldcat.org/entity/work/data/4881429557#Place/newport_news_va> # Newport News, Va.)
    a schema:Place ;
    schema:name "Newport News, Va.)" ;
    .

<http://experiment.worldcat.org/entity/work/data/4881429557#Series/formal_methods> # Formal methods
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/1030992050> ; # NASA formal methods : 10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018, Proceedings
    schema:name "Formal methods" ;
    .

<http://experiment.worldcat.org/entity/work/data/4881429557#Series/lecture_notes_in_computer_science> # Lecture notes in computer science.
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/1030992050> ; # NASA formal methods : 10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018, Proceedings
    schema:name "Lecture notes in computer science." ;
    .

<http://experiment.worldcat.org/entity/work/data/4881429557#Series/lncs_sublibrary> # LNCS sublibrary.
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/1030992050> ; # NASA formal methods : 10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018, Proceedings
    schema:name "LNCS sublibrary." ;
    .

<http://experiment.worldcat.org/entity/work/data/4881429557#Series/lncs_sublibrary_sl_2_programming_and_software_engineering> # LNCS sublibrary. SL 2, Programming and software engineering
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/1030992050> ; # NASA formal methods : 10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018, Proceedings
    schema:name "LNCS sublibrary. SL 2, Programming and software engineering" ;
    .

<http://experiment.worldcat.org/entity/work/data/4881429557#Topic/artificial_intelligence> # Artificial intelligence
    a schema:Intangible ;
    schema:name "Artificial intelligence"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/4881429557#Topic/computer_modelling_&_simulation> # Computer modelling & simulation
    a schema:Intangible ;
    schema:name "Computer modelling & simulation"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/4881429557#Topic/computers_computer_science> # Computers--Computer Science
    a schema:Intangible ;
    schema:name "Computers--Computer Science"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/4881429557#Topic/computers_computer_simulation> # Computers--Computer Simulation
    a schema:Intangible ;
    schema:name "Computers--Computer Simulation"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/4881429557#Topic/computers_hardware_handheld_devices> # Computers--Hardware--Handheld Devices
    a schema:Intangible ;
    schema:name "Computers--Hardware--Handheld Devices"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/4881429557#Topic/computers_intelligence_ai_&_semantics> # Computers--Intelligence (AI) & Semantics
    a schema:Intangible ;
    schema:name "Computers--Intelligence (AI) & Semantics"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/4881429557#Topic/computers_programming_languages_general> # Computers--Programming Languages--General
    a schema:Intangible ;
    schema:name "Computers--Programming Languages--General"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/4881429557#Topic/computers_software_development_&_engineering_general> # Computers--Software Development & Engineering--General
    a schema:Intangible ;
    schema:name "Computers--Software Development & Engineering--General"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/4881429557#Topic/formal_methods_computer_science> # Formal methods (Computer science)
    a schema:Intangible ;
    schema:name "Formal methods (Computer science)"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/4881429557#Topic/programming_&_scripting_languages_general> # Programming & scripting languages: general
    a schema:Intangible ;
    schema:name "Programming & scripting languages: general"@en ;
    .

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

<http://experiment.worldcat.org/entity/work/data/4881429557#Topic/systems_analysis_&_design> # Systems analysis & design
    a schema:Intangible ;
    schema:name "Systems analysis & design"@en ;
    .

<http://worldcat.org/entity/work/data/4881429557#CreativeWork/>
    a schema:CreativeWork ;
    schema:description "Printed edition:" ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/1030992050> ; # NASA formal methods : 10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018, Proceedings
    .

<http://worldcat.org/isbn/9783319779348>
    a schema:ProductModel ;
    schema:isbn "3319779346" ;
    schema:isbn "9783319779348" ;
    .

<http://worldcat.org/isbn/9783319779355>
    a schema:ProductModel ;
    schema:isbn "3319779354" ;
    schema:isbn "9783319779355" ;
    .

<http://worldcat.org/issn/0302-9743> # Lecture notes in computer science ;
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/1030992050> ; # NASA formal methods : 10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018, Proceedings
    schema:issn "0302-9743" ;
    schema:name "Lecture notes in computer science ;" ;
    schema:name "Lecture notes in computer science," ;
    .

<http://www.worldcat.org/title/-/oclc/1030992050>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
    schema:about <http://www.worldcat.org/oclc/1030992050> ; # NASA formal methods : 10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018, Proceedings
    schema:dateModified "2019-11-26" ;
    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.