國立高雄大學圖資館 |

Language: English

Back

Formal Techniques for Distributed Ob...

(1998 :)

Formal Techniques for Distributed Objects, Components, and Systems38th IFIP WG 6.1 International Conference, FORTE 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018 : proceedings /

Record Type:	Electronic resources : Monograph/item
Title/Author:	Formal Techniques for Distributed Objects, Components, and Systemsedited by Christel Baier, Luis Caires.
Reminder of title:	38th IFIP WG 6.1 International Conference, FORTE 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018 : proceedings /
remainder title:	FORTE 2018
other author:	Baier, Christel.
corporate name:
Published:	Cham :Springer International Publishing :2018.
Description:	xi, 197 p. :ill., digital ;24 cm.
Contained By:	Springer eBooks
Subject:	Formal methods (Computer science)
Online resource:	http://dx.doi.org/10.1007/978-3-319-92612-4
ISBN:	9783319926124$q(electronic bk.)

Formal Techniques for Distributed Objects, Components, and Systems38th IFIP WG 6.1 International Conference, FORTE 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018 : proceedings /
Formal Techniques for Distributed Objects, Components, and Systems38th IFIP WG 6.1 International Conference, FORTE 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018 : proceedings /[electronic resource] :FORTE 2018edited by Christel Baier, Luis Caires. - Cham :Springer International Publishing :2018. - xi, 197 p. :ill., digital ;24 cm. - Lecture notes in computer science,108540302-9743 ;. - Lecture notes in computer science ;4891..

Component- and Model-Based Design -- Object Technology -- Service-Oriented Computing Systems -- Mobile Computing Systems -- Security -- Privacy -- Adaptive Distributed Systems -- Self-Stabilization -- Self-Healing -- Verification -- Formal Analysis.

This book constitutes the proceedings of the 38th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2018, held in Madrid, Spain, in June 2018, as part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018. The 10 full papers presented were carefully reviewed and selected from 28 submissions. The conference is dedicated to fundamental research on theory, models, tools, and applications for distributed systems.

ISBN: 9783319926124$q(electronic bk.)

Standard No.: 10.1007/978-3-319-92612-4doiSubjects--Topical Terms:

277520
Formal methods (Computer science)

LC Class. No.: QA76.9.F67

Dewey Class. No.: 004.0151

Formal Techniques for Distributed Objects, Components, and Systems38th IFIP WG 6.1 International Conference, FORTE 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018 : proceedings /
LDR:02046nmm a2200337 a 4500 001 538664
003 DE-He213
005 20180529151637.0
006 m d
007 cr nn 008maaau
008 190122s2018 gw s 0 eng d
020 $a 9783319926124$q(electronic bk.)
020 $a 9783319926117$q(paper)
024 7 $a 10.1007/978-3-319-92612-4 $2 doi
035 $a 978-3-319-92612-4
040 $a GP $c GP
041 0 $a eng
050 4 $a QA76.9.F67
072 7 $a UMZ $2 bicssc
072 7 $a COM051230 $2 bisacsh
082 0 4 $a 004.0151 $2 23
090 $a QA76.9.F67 $b F737 2018
111 2 $n (3rd : $d 1998 : $c Amsterdam, Netherlands) $3 194767
245 1 0 $a Formal Techniques for Distributed Objects, Components, and Systems $h [electronic resource] : $b 38th IFIP WG 6.1 International Conference, FORTE 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018 : proceedings / $c edited by Christel Baier, Luis Caires.
246 3 $a FORTE 2018
260 $a Cham : $b Springer International Publishing : $b Imprint: Springer, $c 2018.
300 $a xi, 197 p. : $b ill., digital ; $c 24 cm.
490 1 $a Lecture notes in computer science, $x 0302-9743 ; $v 10854
505 0 $a Component- and Model-Based Design -- Object Technology -- Service-Oriented Computing Systems -- Mobile Computing Systems -- Security -- Privacy -- Adaptive Distributed Systems -- Self-Stabilization -- Self-Healing -- Verification -- Formal Analysis.
520 $a This book constitutes the proceedings of the 38th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2018, held in Madrid, Spain, in June 2018, as part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018. The 10 full papers presented were carefully reviewed and selected from 28 submissions. The conference is dedicated to fundamental research on theory, models, tools, and applications for distributed systems.
650 0 $a Formal methods (Computer science) $3 277520
650 0 $a Electronic data processing $x Distributed processing $v Congresses. $3 384493
650 1 4 $a Computer Science. $3 212513
650 2 4 $a Software Engineering. $3 274511
650 2 4 $a Operating Systems. $3 274474
650 2 4 $a Programming Languages, Compilers, Interpreters. $3 274102
650 2 4 $a Systems and Data Security. $3 274481
650 2 4 $a Computer Communication Networks. $3 218087
650 2 4 $a Computer System Implementation. $3 276333
700 1 $a Baier, Christel. $3 279737
700 1 $a Caires, Luis. $3 284888
710 2 $a SpringerLink (Online service) $3 273601
773 0 $t Springer eBooks
830 0 $a Lecture notes in computer science ; $v 4891. $3 383229
856 4 0 $u http://dx.doi.org/10.1007/978-3-319-92612-4
950 $a Computer Science (Springer-11645)