國立虎尾科技大學 |

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 /

Record Type:	Language materials, printed : Monograph/item
Title/Author:	Leveraging applications of formal methods, verification, and validation/ edited by Anna-Lena Lamprecht.
Reminder of title:	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 /
remainder title:	ISoLA 2014
other author:	Lamprecht, Anna-Lena.
corporate name:	Workshop on the Preservation of Stability under Discretization
Published:	Cham :Springer International Publishing : : 2016.,
Description:	vii, 157 p. :ill., digital ; : 24 cm.;
Contained By:	Springer eBooks
Subject:	Robots - Juvenile literature. - Programming -
Online resource:	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)