ABZ 2014: The Landing Gear Case Study (Record no. 51674)
[ view plain ]
| 000 -LEADER | |
|---|---|
| fixed length control field | 02808nam a22006015i 4500 |
| 001 - CONTROL NUMBER | |
| control field | 978-3-319-07512-9 |
| 005 - DATE AND TIME OF LATEST TRANSACTION | |
| control field | 20200420220217.0 |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION | |
| fixed length control field | 140512s2014 gw | s |||| 0|eng d |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| ISBN | 9783319075129 |
| -- | 978-3-319-07512-9 |
| 082 04 - CLASSIFICATION NUMBER | |
| Call Number | 005.1015113 |
| 245 10 - TITLE STATEMENT | |
| Title | ABZ 2014: The Landing Gear Case Study |
| Sub Title | Case Study Track, Held at the 4th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, Toulouse, France, June 2-6, 2014. Proceedings / |
| 300 ## - PHYSICAL DESCRIPTION | |
| Number of Pages | XII, 161 p. 47 illus. |
| 490 1# - SERIES STATEMENT | |
| Series statement | Communications in Computer and Information Science, |
| 505 0# - FORMATTED CONTENTS NOTE | |
| Remark 2 | Formal techniques: B, ASM, Fiacre -- Kinds of verification -- Proof -- Model checking -- Test generation -- Run-time monitoring -- Simulation. |
| 520 ## - SUMMARY, ETC. | |
| Summary, etc | This volume contains proceedings of the Case Study Track, held at the 4th International Conference, ABZ 2014, in Toulouse, France, in June 2014. The 11 papers presented were carefully reviewed and selected from numerous submissions. They use different formal techniques: B, ASM, Fiacre. They also propose different kinds of verification such as proof, model checking, test generation, run-time monitoring, and simulation. |
| 700 1# - AUTHOR 2 | |
| Author 2 | Boniol, Fr�ed�eric. |
| 700 1# - AUTHOR 2 | |
| Author 2 | Wiels, Virginie. |
| 700 1# - AUTHOR 2 | |
| Author 2 | Ait Ameur, Yamine. |
| 700 1# - AUTHOR 2 | |
| Author 2 | Schewe, Klaus-Dieter. |
| 856 40 - ELECTRONIC LOCATION AND ACCESS | |
| Uniform Resource Identifier | http://dx.doi.org/10.1007/978-3-319-07512-9 |
| 942 ## - ADDED ENTRY ELEMENTS (KOHA) | |
| Koha item type | eBooks |
| 264 #1 - | |
| -- | Cham : |
| -- | Springer International Publishing : |
| -- | Imprint: Springer, |
| -- | 2014. |
| 336 ## - | |
| -- | text |
| -- | txt |
| -- | rdacontent |
| 337 ## - | |
| -- | computer |
| -- | c |
| -- | rdamedia |
| 338 ## - | |
| -- | online resource |
| -- | cr |
| -- | rdacarrier |
| 347 ## - | |
| -- | text file |
| -- | |
| -- | rda |
| 650 #0 - SUBJECT ADDED ENTRY--SUBJECT 1 | |
| -- | Computer science. |
| 650 #0 - SUBJECT ADDED ENTRY--SUBJECT 1 | |
| -- | Computers. |
| 650 #0 - SUBJECT ADDED ENTRY--SUBJECT 1 | |
| -- | Computer logic. |
| 650 #0 - SUBJECT ADDED ENTRY--SUBJECT 1 | |
| -- | Mathematical logic. |
| 650 #0 - SUBJECT ADDED ENTRY--SUBJECT 1 | |
| -- | Computer simulation. |
| 650 14 - SUBJECT ADDED ENTRY--SUBJECT 1 | |
| -- | Computer Science. |
| 650 24 - SUBJECT ADDED ENTRY--SUBJECT 1 | |
| -- | Logics and Meanings of Programs. |
| 650 24 - SUBJECT ADDED ENTRY--SUBJECT 1 | |
| -- | Mathematical Logic and Formal Languages. |
| 650 24 - SUBJECT ADDED ENTRY--SUBJECT 1 | |
| -- | Computation by Abstract Devices. |
| 650 24 - SUBJECT ADDED ENTRY--SUBJECT 1 | |
| -- | Simulation and Modeling. |
| 830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE | |
| -- | 1865-0929 ; |
| 912 ## - | |
| -- | ZDB-2-SCS |
No items available.