國立高雄大學圖資館 |

Language: English

Back

Leveraging applications of formal me...

(1998 :)

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 /

Record Type:	Electronic resources : Monograph/item
Title/Author:	Leveraging applications of formal methods, verification, and validationedited 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:
Published:	Cham :Springer International Publishing :2016.
Description:	vii, 157 p. :ill., digital ;24 cm.
Contained By:	Springer eBooks
Subject:	RobotsCongresses.Programming
Online resource:	http://dx.doi.org/10.1007/978-3-319-51641-7
ISBN:	9783319516417$q(electronic bk.)

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 /
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 ;229..

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$q(electronic bk.)

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

387163
Robots
--Programming--Congresses.

LC Class. No.: QA76.758

Dewey Class. No.: 005.1

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 /
LDR:02234nmm a2200349 a 4500 001 500989
003 DE-He213
005 20161221084508.0
006 m d
007 cr nn 008maaau
008 170718s2016 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 $n (3rd : $d 1998 : $c Amsterdam, Netherlands) $3 194767
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 : $b Springer International Publishing : $b Imprint: Springer, $c 2016.
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 Congresses. $3 387163
650 0 $a Machine learning $v Congresses. $3 384498
650 0 $a Computer software $x Verification $v Congresses. $3 443711
650 0 $a Formal methods (Computer science) $3 277520
650 0 $a Computer science. $3 199325
650 0 $a Software engineering. $3 184729
650 0 $a Computers. $3 202174
650 0 $a Computer logic. $3 199471
650 0 $a Logic, Symbolic and mathematical. $3 180452
650 0 $a Database management. $3 182428
650 0 $a Computer simulation. $3 182122
650 0 $a Logics and Meanings of Programs $3 253766
650 0 $a Mathematical Logic and Formal Languages $3 253767
650 0 $a Simulation and Modeling $3 253362
650 0 $a Computation by Abstract Devices $3 253713
650 1 4 $a Computer Science. $3 212513
650 2 4 $a Software Engineering. $3 274511
650 2 4 $a Logics and Meanings of Programs. $3 275357
650 2 4 $a Mathematical Logic and Formal Languages. $3 275383
650 2 4 $a Database Management. $3 273994
650 2 4 $a Simulation and Modeling. $3 273719
650 2 4 $a Computation by Abstract Devices. $3 273703
700 1 $a Lamprecht, Anna-Lena. $3 700023
710 2 $a SpringerLink (Online service) $3 273601
711 2 $n (3rd : $d 1998 : $c Amsterdam, Netherlands) $3 194767
773 0 $t Springer eBooks
830 0 $a Communications in computer and information science ; $v 229. $3 547963
856 4 0 $u http://dx.doi.org/10.1007/978-3-319-51641-7
950 $a Computer Science (Springer-11645)