Critical systems : formal methods and automated verification : Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, Turin, Italy, September 18-20, 2017, Proceedings /
Saved in:
| Meeting name: | International Workshop on Formal Methods for Industrial Critical Systems (22nd : 2017 : Turin, Italy), jointly held conference. |
|---|---|
| Imprint: | Cham, Switzerland : Springer, 2017. |
| Description: | 1 online resource (xiv, 235 pages) : illustrations |
| Language: | English |
| Series: | Lecture notes in computer science, 0302-9743 ; 10471 LNCS sublibrary. SL 2, Programming and software engineering Lecture notes in computer science ; 10471. LNCS sublibrary. SL 2, Programming and software engineering. |
| Subject: | |
| Format: | E-Resource Book |
| URL for this record: | http://pi.lib.uchicago.edu/1001/cat/bib/11361311 |
MARC
| LEADER | 00000cam a2200000Ii 4500 | ||
|---|---|---|---|
| 001 | 11361311 | ||
| 006 | m o d | ||
| 007 | cr cnu|||unuuu | ||
| 008 | 170908s2017 sz a ob 101 0 eng d | ||
| 005 | 20240708205627.9 | ||
| 015 | |a GBB8M3442 |2 bnb | ||
| 016 | 7 | |a 019137802 |2 Uk | |
| 019 | |a 1003120604 |a 1004983049 |a 1011791569 |a 1048166650 |a 1049850160 |a 1066611016 |a 1081272969 |a 1086463237 | ||
| 020 | |a 9783319671130 |q (electronic bk.) | ||
| 020 | |a 3319671138 |q (electronic bk.) | ||
| 020 | |z 9783319671123 |q (print) | ||
| 020 | |z 331967112X | ||
| 024 | 7 | |a 10.1007/978-3-319-67113-0 |2 doi | |
| 035 | |a (OCoLC)1003193911 |z (OCoLC)1003120604 |z (OCoLC)1004983049 |z (OCoLC)1011791569 |z (OCoLC)1048166650 |z (OCoLC)1049850160 |z (OCoLC)1066611016 |z (OCoLC)1081272969 |z (OCoLC)1086463237 | ||
| 035 | 9 | |a (OCLCCM-CC)1003193911 | |
| 037 | |a com.springer.onix.9783319671130 |b Springer Nature | ||
| 040 | |a GW5XE |b eng |e rda |e pn |c GW5XE |d YDX |d AZU |d OCLCF |d DKDLA |d NJR |d MERER |d UAB |d IOG |d COO |d OCLCO |d OCLCQ |d U3W |d CAUOI |d OCLCQ |d KSU |d CRU |d OCLCQ |d VT2 |d UCW |d OCLCQ |d ESU |d WYU |d UKMGB |d OCLCQ |d UKAHL | ||
| 049 | |a MAIN | ||
| 050 | 4 | |a QA76.9.F67 |b I58 2017eb | |
| 072 | 7 | |a UMX |2 bicssc | |
| 072 | 7 | |a UMC |2 bicssc | |
| 072 | 7 | |a COM051010 |2 bisacsh | |
| 072 | 7 | |a COM010000 |2 bisacsh | |
| 111 | 2 | |a International Workshop on Formal Methods for Industrial Critical Systems |n (22nd : |d 2017 : |c Turin, Italy), |j jointly held conference. |0 http://id.loc.gov/authorities/names/nb2017020614 | |
| 245 | 1 | 0 | |a Critical systems : |b formal methods and automated verification : Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, Turin, Italy, September 18-20, 2017, Proceedings / |c Laure Petrucci, Cristina Seceleanu, Ana Cavalcanti (eds.). |
| 246 | 3 | |a FMICS-AVoCS 2017 | |
| 264 | 1 | |a Cham, Switzerland : |b Springer, |c 2017. | |
| 300 | |a 1 online resource (xiv, 235 pages) : |b illustrations | ||
| 336 | |a text |b txt |2 rdacontent | ||
| 337 | |a computer |b c |2 rdamedia | ||
| 338 | |a online resource |b cr |2 rdacarrier | ||
| 347 | |a text file |b PDF |2 rda | ||
| 490 | 1 | |a Lecture notes in computer science, |x 0302-9743 ; |v 10471 | |
| 490 | 1 | |a LNCS sublibrary. SL 2, Programming and software engineering | |
| 500 | |a International conference proceedings. | ||
| 504 | |a Includes bibliographical references and author index. | ||
| 588 | 0 | |a Online resource; title from PDF title page (SpringerLink, viewed September 8, 2017). | |
| 505 | 0 | |a Automated verification techniques -- Testing and scheduling -- Formal Methods for mobile and autonomous robots -- Modeling and analysis techniques. | |
| 520 | |a This book constitutes the refereed proceedings of the Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and the 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, held in Turin, Italy, in September 2017. The 14 full papers presented together with one invited talk were carefully reviewed and selected from 30 submissions. They are organized in the following sections: Automated verification techniques; Testing and scheduling; Formal Methods for mobile and autonomous robots; and Modeling and analysis techniques. | ||
| 650 | 0 | |a Formal methods (Computer science) |v Congresses. | |
| 650 | 0 | |a Software engineering |v Congresses. | |
| 650 | 0 | |a Computer programs |x Verification |v Congresses. | |
| 650 | 0 | |a Computer programs |x Reliability |v Congresses. | |
| 650 | 0 | |a Computer software |x Verification |v Congresses. | |
| 650 | 0 | |a Computer software |x Reliability |v Congresses. | |
| 650 | 7 | |a Computer programming |x software development. |2 bicssc | |
| 650 | 7 | |a Software Engineering. |2 bicssc | |
| 650 | 7 | |a Expert systems |x knowledge-based systems. |2 bicssc | |
| 650 | 7 | |a Mathematical theory of computation. |2 bicssc | |
| 650 | 7 | |a Programming & scripting languages: general. |2 bicssc | |
| 650 | 7 | |a Computers |x Programming |x General. |2 bisacsh | |
| 650 | 7 | |a Computers |x Software Development & Engineering |x General. |2 bisacsh | |
| 650 | 7 | |a Computers |x Expert Systems. |2 bisacsh | |
| 650 | 7 | |a Mathematics |x Logic. |2 bisacsh | |
| 650 | 7 | |a Computers |x Programming Languages |x General. |2 bisacsh | |
| 650 | 7 | |a Computer programs |x Reliability. |2 fast |0 (OCoLC)fst00872435 | |
| 650 | 7 | |a Computer programs |x Verification. |2 fast |0 (OCoLC)fst00872448 | |
| 650 | 7 | |a Computer software |x Reliability. |2 fast |0 (OCoLC)fst00872585 | |
| 650 | 7 | |a Computer software |x Verification. |2 fast |0 (OCoLC)fst00872604 | |
| 650 | 7 | |a Formal methods (Computer science) |2 fast |0 (OCoLC)fst00932926 | |
| 650 | 7 | |a Software engineering. |2 fast |0 (OCoLC)fst01124185 | |
| 655 | 4 | |a Electronic books. | |
| 655 | 7 | |a Conference papers and proceedings. |2 fast |0 (OCoLC)fst01423772 | |
| 700 | 1 | |a Petrucci, Laure, |e editor. |0 http://id.loc.gov/authorities/names/no2008151466 | |
| 700 | 1 | |a Seceleanu, Cristina, |e editor. | |
| 700 | 1 | |a Cavalcanti, Ana, |e editor. |0 http://id.loc.gov/authorities/names/nb2006022846 | |
| 711 | 2 | |a International Workshop on Automated Verification of Critical Systems |n (17th : |d 2017 : |c Turin, Italy), |j jointly held conference. |0 http://id.loc.gov/authorities/names/nb2017020620 | |
| 776 | 0 | 8 | |i Printed edition: |z 9783319671123 |
| 830 | 0 | |a Lecture notes in computer science ; |v 10471. |x 0302-9743 |0 http://id.loc.gov/authorities/names/n42015162 | |
| 830 | 0 | |a LNCS sublibrary. |n SL 2, |p Programming and software engineering. |0 http://id.loc.gov/authorities/names/no2007033954 | |
| 903 | |a HeVa | ||
| 929 | |a oclccm | ||
| 999 | f | f | |i a857be04-d6ef-5bca-91eb-754ab31ffa67 |s cbfbbe92-04ff-54c2-8b03-9e95c2103657 |
| 928 | |t Library of Congress classification |a QA76.9.F67 I58 2017eb |l Online |c UC-FullText |u https://link.springer.com/10.1007/978-3-319-67113-0 |z Springer Nature |g ebooks |i 12548418 | ||