Structured Object-Oriented Formal Language and Method : 6th International Workshop, SOFL+MSVL 2016, Tokyo, Japan, November 15, 2016, Revised Selected Papers /

Bibliographic Details
Corporate Author:	SpringerLink (Online service)
Other Authors:	Liu, Shaoying. (Editor), Duan, Zhenhua. (Editor), Tian, Cong. (Editor), Nagoya, Fumiko. (Editor)
Format:	eBook
Language:	English
Published:	Cham : Springer International Publishing : Imprint: Springer, 2017.
Edition:	1st ed. 2017.
Series:	Theoretical Computer Science and General Issues ; 10189
Subjects:	Software engineering. Computers. Artificial intelligence. Computer organization. Computer hardware. Software Engineering/Programming and Operating Systems. Theory of Computation. Artificial Intelligence. Computer Systems Organization and Communication Networks. Computer Hardware.

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. .

Similar Items