-
NASA formal methods [Elektronski vir] : 4th International Symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012. ProceedingsNFM 2012 (2012 ; Norfolk, Va.)This book constitutes the refereed proceedings of the Fourth International Symposium on NASA Formal Methods, NFM 2012, held in Norfolk, VA, USA, in April 2012. The 36 revised regular papers presented ... together with 10 short papers, 3 invited talks were carefully reviewed and selected from 93 submissions. The topics are organized in topical sections on theorem proving, symbolic execution, model-based engineering, real-time and stochastic systems, model checking, abstraction and abstraction refinement, compositional verification techniques, static and dynamic analysis techniques, fault protection, cyber security, specification formalisms, requirements analysis and applications of formal techniquesType of material - e-bookPublication and manufacture - Berlin ; New York : Springer, cop. 2012Language - englishISBN - 978-3-642-28891-3; 3-642-28891-XCOBISS.SI-ID - 1544987359
Link(s):
SpringerLink e-books 2008-2012Celotno besedilo dostopno za uporabnike SpringerLink slovenskega konzorcija neprofitnih institucij
Full text accessible to the users of SpringerLink Slovenian Consortium of Non-Profit Institutions
DOI
Author
NFM 2012
Other authors
Goodloe, Alwyn E. |
Person, Suzette
Collection
Lecture notes in computer science
Topics
Formal methods (Computer science) |
Congresses |
Fault-tolerant computing |
Congresses |
Computer software |
Verification |
Congresses |
System analysis |
Congresses |
Computer software |
Verification |
Fault-tolerant computing |
Formal methods (Computer science) |
System analysis |
Informatique |
Electronic books |
Conference proceedings
![loading ... loading ...](themes/default/img/ajax-loading.gif)
Shelf entry
Permalink
- URL:
Impact factor
Access to the JCR database is permitted only to users from Slovenia. Your current IP address is not on the list of IP addresses with access permission, and authentication with the relevant AAI accout is required.
Year | Impact factor | Edition | Category | Classification | ||||
---|---|---|---|---|---|---|---|---|
JCR | SNIP | JCR | SNIP | JCR | SNIP | JCR | SNIP |
Select the library membership card:
DRS, in which the journal is indexed
Database name | Field | Year |
---|
Links to authors' personal bibliographies | Links to information on researchers in the SICRIS system |
---|
Select pickup location:
Material pickup by post
Notification
Subject headings in COBISS General List of Subject Headings
Select pickup location
Pickup location | Material status | Reservation |
---|
Please wait a moment.