國立虎尾科技大學 |

Leveraging applications of formal methods, verification, and validation = 6th International Symposium, ISoLA 2014, Corfu, Greece, October 8-11, 2014, and 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012 : revised selected papers /

紀錄類型:	書目-語言資料,印刷品 : Monograph/item
正題名/作者:	Leveraging applications of formal methods, verification, and validation/ edited by Anna-Lena Lamprecht.
其他題名:	6th International Symposium, ISoLA 2014, Corfu, Greece, October 8-11, 2014, and 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012 : revised selected papers /
其他題名:	ISoLA 2014
其他作者:	Lamprecht, Anna-Lena.
團體作者:	Workshop on the Preservation of Stability under Discretization
出版者:	Cham :Springer International Publishing : : 2016.,
面頁冊數:	vii, 157 p. :ill., digital ; : 24 cm.;
Contained By:	Springer eBooks
標題:	Robots - Juvenile literature. - Programming -
電子資源:	http://dx.doi.org/10.1007/978-3-319-51641-7
ISBN:	9783319516417

Leveraging applications of formal methods, verification, and validation = 6th International Symposium, ISoLA 2014, Corfu, Greece, October 8-11, 2014, and 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012 : revised selected papers /
Leveraging applications of formal methods, verification, and validation6th International Symposium, ISoLA 2014, Corfu, Greece, October 8-11, 2014, and 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012 : revised selected papers /[electronic resource] :ISoLA 2014edited by Anna-Lena Lamprecht. - Cham :Springer International Publishing :2016. - vii, 157 p. :ill., digital ;24 cm. - Communications in computer and information science,6831865-0929 ;. - Communications in computer and information science ;311..

Processes and data integration in the networked healthcare -- Process-oriented geoinformation systems and applications -- Automata learning in practice -- ISoLA 2014 Doctoral Symposium.

This book constitutes the refereed proceedings of the 6th International Symposium on Leveraging Applications of Formal Methods, Verification, and Validation, ISoLA 2014, held in Corfu, Greece, in October 2014, and the 5th International Symposium, ISoLA 2012, held in Heraklion, Crete, Greece, in October 2012. The 9 revised full papers presented were carefully reviewed and selected from 22 submissions. This volume combines the post-conference proceedings of the 2014 Doctoral Symposium and the 2014 Tutorial "Automata Learning in Practice" with the post-conference publication of selected contributions from the Tracks "Process-Oriented Geoinformation Systems and Applications" and "Processes and Data Integration in the Networked Healthcare" of ISoLA 2012.

ISBN: 9783319516417

Standard No.: 10.1007/978-3-319-51641-7doiSubjects--Topical Terms:

599458
Robots
--Programming--Juvenile literature.

LC Class. No.: QA76.758

Dewey Class. No.: 005.1

Leveraging applications of formal methods, verification, and validation = 6th International Symposium, ISoLA 2014, Corfu, Greece, October 8-11, 2014, and 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012 : revised selected papers /
LDR:02234nam a2200349 a 4500 001 868590
003 DE-He213
005 20161221084508.0
006 m d
007 cr nn 008maaau
008 170720s2016 gw s 0 eng d
020 $a 9783319516417 $q (electronic bk.)
020 $a 9783319516400 $q (paper)
024 7 $a 10.1007/978-3-319-51641-7 $2 doi
035 $a 978-3-319-51641-7
040 $a GP $c GP
041 0 $a eng
050 4 $a QA76.758
072 7 $a UMZ $2 bicssc
072 7 $a COM051230 $2 bisacsh
082 0 4 $a 005.1 $2 23
090 $a QA76.758 $b .I85 2014
111 2 $a Workshop on the Preservation of Stability under Discretization $d (2001 : $c Fort Collins, Colo.) $3 527686
245 1 0 $a Leveraging applications of formal methods, verification, and validation $h [electronic resource] : $b 6th International Symposium, ISoLA 2014, Corfu, Greece, October 8-11, 2014, and 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012 : revised selected papers / $c edited by Anna-Lena Lamprecht.
246 3 $a ISoLA 2014
246 3 $a ISoLA 2012
260 $a Cham : $c 2016. $b Springer International Publishing : $b Imprint: Springer,
300 $a vii, 157 p. : $b ill., digital ; $c 24 cm.
490 1 $a Communications in computer and information science, $x 1865-0929 ; $v 683
505 0 $a Processes and data integration in the networked healthcare -- Process-oriented geoinformation systems and applications -- Automata learning in practice -- ISoLA 2014 Doctoral Symposium.
520 $a This book constitutes the refereed proceedings of the 6th International Symposium on Leveraging Applications of Formal Methods, Verification, and Validation, ISoLA 2014, held in Corfu, Greece, in October 2014, and the 5th International Symposium, ISoLA 2012, held in Heraklion, Crete, Greece, in October 2012. The 9 revised full papers presented were carefully reviewed and selected from 22 submissions. This volume combines the post-conference proceedings of the 2014 Doctoral Symposium and the 2014 Tutorial "Automata Learning in Practice" with the post-conference publication of selected contributions from the Tracks "Process-Oriented Geoinformation Systems and Applications" and "Processes and Data Integration in the Networked Healthcare" of ISoLA 2012.
650 0 $a Robots $x Programming $v Juvenile literature. $3 599458 $3 737873
650 0 $a Machine learning $v Congresses. $3 574552 $3 727808
650 0 $a Computer software $x Verification $v Congresses. $3 675265 $3 727805
650 0 $a Formal methods (Computer science) $3 564790
650 0 $a Computer science. $3 573171
650 0 $a Software engineering. $3 562952
650 0 $a Computers. $3 565115
650 0 $a Computer logic. $3 786340
650 0 $a Logic, Symbolic and mathematical. $3 527823
650 0 $a Database management. $3 557799
650 0 $a Computer simulation. $3 560190
650 0 $a Logics and Meanings of Programs $3 675948
650 0 $a Mathematical Logic and Formal Languages $3 675589
650 0 $a Simulation and Modeling $3 1116275
650 0 $a Computation by Abstract Devices $3 675273
650 1 4 $a Computer Science. $3 593922
650 2 4 $a Software Engineering. $3 669632
650 2 4 $a Logics and Meanings of Programs. $3 670058
650 2 4 $a Mathematical Logic and Formal Languages. $3 670059
650 2 4 $a Database Management. $3 669820
650 2 4 $a Simulation and Modeling. $3 669249
650 2 4 $a Computation by Abstract Devices. $3 669792
700 1 $a Lamprecht, Anna-Lena. $3 1079440
710 2 $a SpringerLink (Online service) $3 593884
711 2 $a Workshop on the Preservation of Stability under Discretization $d (2001 : $c Fort Collins, Colo.) $3 527686
773 0 $t Springer eBooks
830 0 $a Communications in computer and information science ; $v 311. $3 881211
856 4 0 $u http://dx.doi.org/10.1007/978-3-319-51641-7
950 $a Computer Science (Springer-11645)