Structured Object-Oriented Formal Language and Method (häftad)
Fler böcker inom
Format
Häftad (Paperback / softback)
Språk
Engelska
Antal sidor
239
Utgivningsdatum
2017-04-21
Upplaga
1st ed. 2017
Förlag
Springer International Publishing AG
Medarbetare
Liu, Shaoying (ed.), Duan, Zhenhua (ed.), Tian, Cong (ed.), Nagoya, Fumiko (ed.)
Illustratör/Fotograf
Bibliographie
Illustrationer
71 Illustrations, black and white; X, 239 p. 71 illus.
Dimensioner
234 x 156 x 13 mm
Vikt
359 g
Antal komponenter
1
Komponenter
1 Paperback / softback
ISBN
9783319577074

Structured Object-Oriented Formal Language and Method

6th International Workshop, SOFL+MSVL 2016, Tokyo, Japan, November 15, 2016, Revised Selected Papers

av Shaoying Liu, Zhenhua Duan, Cong Tian, Fumiko Nagoya
Häftad,  Engelska, 2017-04-21
585
Köp
Spara som favorit
  • Skickas från oss inom 7-10 vardagar.
  • Fri frakt över 249 kr för privatkunder i Sverige.
Structured Object-Oriented Formal Language and Method Kan tyvärr inte längre levereras innan julafton.
Köp ett presentkort istället.
This book constitutes revised selected papers from the 6th International Workshop on Structures Object-Oriented Formal Language and Method, SOFL+MSVL 2016, held in Tokyo, Japan, in November 2016. The 13 papers presented in this volume were carefully reviewed and selected from 26 submissions. They are organized in topical sections named: modeling and specification; animation and prototyping; verification and validation; and model checking.
Visa hela texten

Passar bra ihop

  1. Structured Object-Oriented Formal Language and Method
  2. +
  3. The Coming Wave

De som köpt den här boken har ofta också köpt The Coming Wave av Mustafa Suleyman, Michael Bhaskar (häftad).

Köp båda 2 för 719 kr

Kundrecensioner

Har du läst boken? Sätt ditt betyg »

Fler böcker av författarna

Shaoying Liu, Zhenhua Duan, Cong Tian, Fumiko Nagoya

Innehållsförteckning

Modeling and Specification.- Orchestration Combinators in Apla+ Language.- On Termination and Boundedness of Nested Updatable Timed Automata.- Instant-based and State-based Analysis of Infinite Logical Clock.- Animation and Prototyping.- Automated Safety Analysis on Scenario-based Requirements for Train Control System.- A Case Study of a GUI-Aided Approach to Constructing Formal Specifications.- Formal Development of Linear Structure Reusable Components in PAR Platform.- Verification and Validation.- E-SSL:An SSL Security-Enhanced Method for Bypassing MITM Attacks in Mobile Internet.- A Proof System for MSVL Programs in Coq.- Runtime Verification Monitor Construction for Three-valued PPTL.- Applying SOFL to a Railway Interlocking System in Industry.

Du kanske gillar