Overview

Full Product Details

Author:   Shaoying Liu ,  Zhenhua Duan ,  Cong Tian ,  Fumiko Nagoya
Publisher:   Springer International Publishing AG
Imprint:   Springer International Publishing AG
Edition:   1st ed. 2017
Volume:   10189
Dimensions:   Width: 15.50cm , Height: 1.30cm , Length: 23.50cm
Weight:   3.869kg
ISBN:  

9783319577074

ISBN 10:   3319577077
Pages:   239
Publication Date:   21 April 2017
Audience:   Professional and scholarly ,  College/higher education ,  Professional & Vocational ,  Postgraduate, Research & Scholarly
Format:   Paperback
Publisher's Status:   Active
Availability:   Manufactured on demand  
We will order this item for you from a manufactured on demand supplier.

Table of Contents

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. 

Reviews

Author Information

Tab Content 6

Author Website:  

Customer Reviews

Recent Reviews

No review item found!

Add your own review!

Countries Available

All regions