000698067 000__ 03318cam\a2200493Ii\4500
000698067 001__ 698067
000698067 005__ 20230306135811.0
000698067 006__ m\\\\\o\\d\\\\\\\\
000698067 007__ cr\cnu|||unuuu
000698067 008__ 140505s2014\\\\sz\a\\\\ob\\\\101\0\eng\d
000698067 020__ $$a9783319062006 $$qelectronic book
000698067 020__ $$a331906200X $$qelectronic book
000698067 020__ $$z9783319061993
000698067 0247_ $$a10.1007/978-3-319-06200-6$$2doi
000698067 035__ $$aSP(OCoLC)ocn879173217
000698067 035__ $$aSP(OCoLC)879173217
000698067 040__ $$aGW5XE$$beng$$erda$$epn$$cGW5XE$$dOCLCO$$dYDXCP$$dCOO
000698067 049__ $$aISEA
000698067 050_4 $$aQA76.9.F67
000698067 08204 $$a004.01/51$$223
000698067 1112_ $$aNFM (Symposium)$$n(6th :$$d2014 :$$cHouston, Tex.)
000698067 24510 $$aNASA formal methods$$h[electronic resource] :$$b6th International Symposium, NFM 2014, Houston, TX, USA, April 29-May 1, 2014. Proceedings /$$cJulia M. Badger, Kristin Yvonne Rozier (eds.).
000698067 2463_ $$aNFM 2014
000698067 264_1 $$aCham :$$bSpringer,$$c2014.
000698067 300__ $$a1 online resource (xxvi, 360 pages) :$$billustrations.
000698067 336__ $$atext$$btxt$$2rdacontent
000698067 337__ $$acomputer$$bc$$2rdamedia
000698067 338__ $$aonline resource$$bcr$$2rdacarrier
000698067 4901_ $$aLecture Notes in Computer Science,$$x0302-9743 ;$$v8430
000698067 4901_ $$aLNCS sublibrary. SL 2, Programming and software engineering
000698067 500__ $$aInternational conference proceedings.
000698067 504__ $$aIncludes bibliographical references and author index.
000698067 506__ $$aAccess limited to authorized users.
000698067 520__ $$aThis book constitutes the refereed proceedings of the 6th International Symposium on NASA Formal Methods, NFM 2014, held in Houston, TX, USA, April 29-May 1, 2014. The 20 revised regular papers presented together with 9 short papers were carefully reviewed and selected from 107 submissions. The topics include model checking, theorem proving, static analysis, model-based development, runtime monitoring, formal approaches to fault tolerance, applications of formal methods to aerospace systems, formal analysis of cyber-physical systems, including hybrid and embedded systems, formal methods in systems engineering, modeling, requirements and specifications, requirements generation, specification debugging, formal validation of specifications, use of formal methods in safety cases, use of formal methods in human-machine interaction analysis, formal methods for parallel hardware implementations, use of formal methods in automated software engineering and testing, correct-by-design, design for verification, and property based design techniques, techniques and algorithms for scaling formal methods, e.g., abstraction and symbolic methods, compositional techniques, parallel and distributed techniques, and application of formal methods to emerging technologies.
000698067 588__ $$aDescription based on online resource; title from PDF title page (SpringerLink, viewed May 5, 2014).
000698067 650_0 $$aFormal methods (Computer science)$$vCongresses.
000698067 7001_ $$aBadger, Julia M.$$eeditor.
000698067 7001_ $$aRozier, Kristin Yvonne,$$eeditor.
000698067 830_0 $$aLecture notes in computer science ;$$v8430.$$x0302-9743
000698067 830_0 $$aLNCS sublibrary.$$nSL 2,$$pProgramming and software engineering.
000698067 852__ $$bebk
000698067 85640 $$3SpringerLink$$uhttps://univsouthin.idm.oclc.org/login?url=http://dx.doi.org/10.1007/978-3-319-06200-6$$zOnline Access
000698067 909CO $$ooai:library.usi.edu:698067$$pGLOBAL_SET
000698067 980__ $$aEBOOK
000698067 980__ $$aBIB
000698067 982__ $$aEbook
000698067 983__ $$aOnline
000698067 994__ $$a92$$bISE