Formal methods for industrial critical systems : 13th international workshop, FMICS 2008, L’Aquila, Italy, September 15-16, 2008 : revised selected papers
This book constitutes the thoroughly refereed post-workshop proceedings of the 13th International workshop on formal methods for industrial critical systems, FMICS 2008, held in L'Aquila, Italy, in September 2008 - colocated with ASE 2008, the 23rd International conference on automated software...
Uloženo v:
Další autoři: | |
---|---|
Korporace: | |
Konference: | |
Médium: | E-kniha |
Jazyk: | angličtina |
Vydáno: |
Berlin ; Heidelberg ; New York :
Springer,
2009
|
Edice: | Lecture notes in computer science
|
Žánr/forma: | elektronické knihy sborníky konferencí |
ISBN: | 978-3-642-03240-0 978-3-642-03239-4 3-642-03239-7 |
Témata: | |
On-line přístup: | Plný text |
Tagy: |
Přidat tag
Žádné tagy, Buďte první, kdo otaguje tento záznam!
|
LEADER | 03214nam a22005777i 4500 | ||
---|---|---|---|
001 | 001817994 | ||
003 | CZ PrSTK | ||
005 | 20210415120131.0 | ||
006 | m f d | ||
007 | cr nn 008mamaa | ||
008 | 100301t20092009gw fs 100 eng d | ||
020 | |a 978-3-642-03240-0 |q (elektronická kniha) | ||
020 | |z 978-3-642-03239-4 |q (brožováno) |z 3-642-03239-7 | ||
024 | 7 | |a 10.1007/978-3-642-03240-0 |2 doi | |
040 | |a DE-He213 |b cze |d ABA013 |e rda | ||
044 | |a gw |a xxu | ||
072 | 7 | |a 004 |x Počítačová věda. Výpočetní technika. Informační technologie |2 Konspekt |9 23 | |
080 | |a 004 |2 MRF | ||
080 | |a 004.38 |2 MRF | ||
080 | |a 004.41 |2 MRF | ||
080 | |a 004.42 |2 MRF | ||
080 | |a 004.43 |2 MRF | ||
080 | |a 004.451 |2 MRF | ||
080 | |a (0.034.2:08) |2 MRF | ||
080 | |a (062.534) |2 MRF | ||
111 | 2 | |a International Workshop on Formal Methods for Industrial Critical Systems |n (13. : |d 2008 : |c L’Aquila, Itálie) | |
245 | 1 | 0 | |a Formal methods for industrial critical systems : |b 13th international workshop, FMICS 2008, L’Aquila, Italy, September 15-16, 2008 : revised selected papers / |c Darren Cofer, Alessandro Fantechi (eds.) |
264 | 1 | |a Berlin ; |a Heidelberg ; |a New York : |b Springer, |c [2009] | |
264 | 4 | |c ©2009 | |
300 | |a 1 online zdroj (X, 233 stran) | ||
336 | |a text |b txt |2 rdacontent | ||
337 | |a počítač |b c |2 rdamedia | ||
338 | |a online zdroj |b cr |2 rdacarrier | ||
490 | 1 | |a Lecture notes in computer science, |x 0302-9743 ; |v 5596 | |
520 | |a This book constitutes the thoroughly refereed post-workshop proceedings of the 13th International workshop on formal methods for industrial critical systems, FMICS 2008, held in L'Aquila, Italy, in September 2008 - colocated with ASE 2008, the 23rd International conference on automated software engineering. The 14 revised full papers presented together with the abstracts of 3 invited presentations and 2 short presentations introducing the panel were carefully selected from 36 initial submissions. The papers strive to promote research and development for the improvement of formal methods and tools for industrial applications. They cover topics such as model checking, testing, software verification, real-time performance, and industrial case studies. | ||
650 | 0 | 7 | |a informatika |x if |7 psh6548 |2 psh |
650 | 0 | 7 | |a počítače |x vt |7 psh12315 |2 psh |
650 | 0 | 7 | |a softwarové inženýrství |x if |7 psh6634 |2 psh |
650 | 0 | 7 | |a programování |x vt |7 psh12467 |2 psh |
650 | 0 | 7 | |a programovací jazyky |x vt |7 psh12474 |2 psh |
650 | 0 | 7 | |a operační systémy |x vt |7 psh12499 |2 psh |
655 | 7 | |a elektronické knihy |7 fd186907 |2 czenas | |
655 | 7 | |a sborníky konferencí |7 fd133333 |2 czenas | |
700 | 1 | |a Cofer, Darren |4 edt | |
700 | 1 | |a Fantechi, Alessandro |4 edt | |
710 | 2 | |a SpringerLink (online služba) |7 ntk2018999494 |4 dst | |
776 | 0 | 8 | |i Tištěné vydání: |t Formal methods for industrial critical systems : 13th international workshop, FMICS 2008, L’Aquila, Italy, September 15-16, 2008 : revised selected papers |z 978-3-642-03239-4 |
830 | 0 | |a Lecture notes in computer science | |
856 | 4 | 0 | |u https://doi.org/10.1007/978-3-642-03240-0 |y Plný text |
910 | |a ABA013 | ||
950 | |a Springer |b Lecture Notes in Computer Science 2017 |