-
Formal methods for industrial critical systems [Elektronski vir] : 13th international workshop, FMICS 2008, L'Aquila, Italy, September 15-16, 2008 : revised selected papersInternational Workshop on Formal Methods for Industrial Critical Systems (13th ; 2008 ; L'Aquila, Italy)Type of material - e-bookPublication and manufacture - Berlin : Springer, ©2009Language - englishISBN - 978-3-642-03240-0; 3-642-03240-0COBISS.SI-ID - 1541759455
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
International Workshop on Formal Methods for Industrial Critical Systems
Other authors
Cofer, Darren |
Fantechi, Alessandro
Collection
Lecture notes in computer science
Topics
Formal methods (Computer science) |
Congresses |
Software engineering |
Congresses |
Computer programs |
Verification |
Congresses |
Computer programs |
Reliability |
Congresses |
Computer software |
Verification |
Congresses |
Computer software |
Reliability |
Congresses |
Computer science |
Informatique |
Computer programs |
Reliability |
Computer programs |
Verification |
Computer software |
Reliability |
Computer software |
Verification |
Formal methods (Computer science) |
Software engineering |
Eingebettetes System |
Fehlertoleranz |
Formale Methode |
Model Checking |
Programmverifikation |
Sicherheitskritisches System |
Softwareentwicklung |
Softwarespezifikation |
Systementwurf |
Verifikation |
Zuverlässigkeit |
Electronic books |
Conference proceedings
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.