Language:
English
繁體中文
Help
圖資館首頁
Login
Back
Switch To:
Labeled
|
MARC Mode
|
ISBD
Rigorous state-based methods8th Inte...
~
(1998 :)
Rigorous state-based methods8th International Conference, ABZ 2021, Ulm, Germany, June 9-11, 2021 : proceedings /
Record Type:
Electronic resources : Monograph/item
Title/Author:
Rigorous state-based methodsedited by Alexander Raschke, Dominique Mery.
Reminder of title:
8th International Conference, ABZ 2021, Ulm, Germany, June 9-11, 2021 : proceedings /
remainder title:
ABZ 2021
other author:
Raschke, Alexander.
corporate name:
Published:
Cham :Springer International Publishing :2021.
Description:
x, 167 p. :ill., digital ;24 cm.
Contained By:
Springer Nature eBook
Subject:
Machine learningCongresses.
Online resource:
https://doi.org/10.1007/978-3-030-77543-8
ISBN:
9783030775438$q(electronic bk.)
Rigorous state-based methods8th International Conference, ABZ 2021, Ulm, Germany, June 9-11, 2021 : proceedings /
Rigorous state-based methods
8th International Conference, ABZ 2021, Ulm, Germany, June 9-11, 2021 : proceedings /[electronic resource] :ABZ 2021edited by Alexander Raschke, Dominique Mery. - Cham :Springer International Publishing :2021. - x, 167 p. :ill., digital ;24 cm. - Lecture notes in computer science,127090302-9743 ;. - Lecture notes in computer science ;4891..
Regular Research Articles -- Unbounded Barrier-Synchronized Concurrent ASMs for Effective MapReduce Processing on Streams -- Towards ASM-based automated formal verification of security protocols -- Verifying System-level Security of a Smart Ballot Box -- Proving the safety of a Sliding Window Protocol with Event B -- Event-B formalization of Event-B contexts -- Validation of Formal Models by Timed Probabilistic Simulation -- Short Articles -- Sterling: A Web-based Visualizer for Relational Modeling Languages -- Extending ASMETA with time features -- About the Concolic Execution and Symbolic ASM Function Promotion in CASM -- Towards Refinement of Unbounded Parallelism in ASMs Using Concurrency and Reflection -- The CamilleX Framework for the Rodin Platform -- Extensible Record Structures in Event-B -- Formalizing and Analyzing System Requirements of Automatic Train Operation over ETCS using Event-B -- Automatic Transformation of SysML Model to Event-B Model for Railway CCS Application -- Short Articles of the PhD-Symposium (Work in Progress) -- Formal Meta Engineering Event-B: Extension and Reasoning - The EB4EB Framework -- A modeling and verification framework for security protocols -- Formalizing the Institution for Event-B in the Coq Proof Assistant.
This book constitutes the proceedings of the 8th International Conference on Rigorous State-Based Methods, ABZ 2021, which was planned to take place in Ulm, Germany, during June 6-11, 2021. The conference changed to an online format due to the COVID-19 pandemic. The 6 full and 8 short papers included in this volume were carefully reviewed and selected from 18 submissions. The proceedings also include 3 PhD symposium contributions. They deal with state-based and machine-based formal methods, mainly Abstract State Machines (ASM), Alloy, B, TLA+, VDM, and Z.
ISBN: 9783030775438$q(electronic bk.)
Standard No.: 10.1007/978-3-030-77543-8doiSubjects--Topical Terms:
384498
Machine learning
--Congresses.
LC Class. No.: Q325.5 / .A29 2021
Dewey Class. No.: 006.31
Rigorous state-based methods8th International Conference, ABZ 2021, Ulm, Germany, June 9-11, 2021 : proceedings /
LDR
:03050nmm a2200361 a 4500
001
598439
003
DE-He213
005
20210522162413.0
006
m d
007
cr nn 008maaau
008
211025s2021 sz s 0 eng d
020
$a
9783030775438$q(electronic bk.)
020
$a
9783030775421$q(paper)
024
7
$a
10.1007/978-3-030-77543-8
$2
doi
035
$a
978-3-030-77543-8
040
$a
GP
$c
GP
041
0
$a
eng
050
4
$a
Q325.5
$b
.A29 2021
072
7
$a
UYA
$2
bicssc
072
7
$a
MAT018000
$2
bisacsh
072
7
$a
UYA
$2
thema
082
0 4
$a
006.31
$2
23
090
$a
Q325.5
$b
.A167 2021
111
2
$n
(3rd :
$d
1998 :
$c
Amsterdam, Netherlands)
$3
194767
245
1 0
$a
Rigorous state-based methods
$h
[electronic resource] :
$b
8th International Conference, ABZ 2021, Ulm, Germany, June 9-11, 2021 : proceedings /
$c
edited by Alexander Raschke, Dominique Mery.
246
3
$a
ABZ 2021
260
$a
Cham :
$b
Springer International Publishing :
$b
Imprint: Springer,
$c
2021.
300
$a
x, 167 p. :
$b
ill., digital ;
$c
24 cm.
490
1
$a
Lecture notes in computer science,
$x
0302-9743 ;
$v
12709
490
1
$a
Theoretical computer science and general issues
505
0
$a
Regular Research Articles -- Unbounded Barrier-Synchronized Concurrent ASMs for Effective MapReduce Processing on Streams -- Towards ASM-based automated formal verification of security protocols -- Verifying System-level Security of a Smart Ballot Box -- Proving the safety of a Sliding Window Protocol with Event B -- Event-B formalization of Event-B contexts -- Validation of Formal Models by Timed Probabilistic Simulation -- Short Articles -- Sterling: A Web-based Visualizer for Relational Modeling Languages -- Extending ASMETA with time features -- About the Concolic Execution and Symbolic ASM Function Promotion in CASM -- Towards Refinement of Unbounded Parallelism in ASMs Using Concurrency and Reflection -- The CamilleX Framework for the Rodin Platform -- Extensible Record Structures in Event-B -- Formalizing and Analyzing System Requirements of Automatic Train Operation over ETCS using Event-B -- Automatic Transformation of SysML Model to Event-B Model for Railway CCS Application -- Short Articles of the PhD-Symposium (Work in Progress) -- Formal Meta Engineering Event-B: Extension and Reasoning - The EB4EB Framework -- A modeling and verification framework for security protocols -- Formalizing the Institution for Event-B in the Coq Proof Assistant.
520
$a
This book constitutes the proceedings of the 8th International Conference on Rigorous State-Based Methods, ABZ 2021, which was planned to take place in Ulm, Germany, during June 6-11, 2021. The conference changed to an online format due to the COVID-19 pandemic. The 6 full and 8 short papers included in this volume were carefully reviewed and selected from 18 submissions. The proceedings also include 3 PhD symposium contributions. They deal with state-based and machine-based formal methods, mainly Abstract State Machines (ASM), Alloy, B, TLA+, VDM, and Z.
650
0
$a
Machine learning
$v
Congresses.
$3
384498
650
0
$a
Machine theory
$v
Congresses.
$3
442590
650
1 4
$a
Mathematical Logic and Formal Languages.
$3
275383
650
2 4
$a
Computer Systems Organization and Communication Networks.
$3
273709
650
2 4
$a
Logic in AI.
$3
836108
650
2 4
$a
Information Systems Applications (incl. Internet)
$3
530743
650
2 4
$a
Programming Languages, Compilers, Interpreters.
$3
274102
700
1
$a
Raschke, Alexander.
$3
809139
700
1
$a
Mery, Dominique.
$3
493775
710
2
$a
SpringerLink (Online service)
$3
273601
773
0
$t
Springer Nature eBook
830
0
$a
Lecture notes in computer science ;
$v
4891.
$3
383229
830
0
$a
Theoretical computer science and general issues.
$3
822018
856
4 0
$u
https://doi.org/10.1007/978-3-030-77543-8
950
$a
Computer Science (SpringerNature-11645)
based on 0 review(s)
ALL
電子館藏
Items
1 records • Pages 1 •
1
Inventory Number
Location Name
Item Class
Material type
Call number
Usage Class
Loan Status
No. of reservations
Opac note
Attachments
000000197122
電子館藏
1圖書
電子書
EB Q325.5 .A167 2021 2021
一般使用(Normal)
On shelf
0
1 records • Pages 1 •
1
Multimedia
Multimedia file
https://doi.org/10.1007/978-3-030-77543-8
Reviews
Add a review
and share your thoughts with other readers
Export
pickup library
Processing
...
Change password
Login