Overview

Full Product Details

Author:   Steve Counsell ,  Manuel Núñez
Publisher:   Springer International Publishing AG
Imprint:   Springer International Publishing AG
Edition:   2014 ed.
Volume:   8368
Dimensions:   Width: 15.50cm , Height: 2.40cm , Length: 23.50cm
Weight:   6.905kg
ISBN:  

9783319050317

ISBN 10:   3319050311
Pages:   432
Publication Date:   01 April 2014
Audience:   Professional and scholarly ,  Professional & Vocational
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

Towards Global and Local Types for Adaptation.- A Concurrent Programming Language with Refined Session Types.- Behavioural Types Inspired by Cellular Thresholds.- Ensuring Faultless Communication Behaviour in A Commercial Cloud.- A Typing System for Privacy.- Compliance and Testing Preorders Differ.- Scalable Session Programming for Heterogeneous High-Performance Systems.- A Supervisor Synthesis Tool for Finite Nondeterministic Automata with Data.- SMT-Constrained Symbolic Execution for Eclipse CDT/Codan.- IOCO as a Simulation.- Modeling and Simulating Interaction Protocols Using Nested Petri Nets.- PetriCode: A Tool for Template-Based Code Generation from CPN Models.- Twenty-Five Years of Formal Methods and Railways: What Next.- What IS a BoK? Large – Extended Abstract.- Verification of Scheme Plans Using CSPjjB.- Applied Bounded Model Checking for Interlocking System Designs.- Formal Implementation of Data Validation for Railway Safety-Related Systems with OVADO.- Validation of Railway Interlocking Systems by Formal Verification, A Case Study.- Verification of Solid State Interlocking Programs.- Towards Knowledge Modeling for Sustainable Transport.- XBRL-Driven Business Process Improvement: A Simulation Study in the Accounting Domain.- The Role of Linked Data and Semantic-Technologies for Sustainability Idea Management.- Stochastic Modelling of Seasonal Migration Using Rewriting Systems with Spatiality.- A Computational Formal Model of the Invasiveness of Eastern Species in European Water Frog Populations.- Process Ordering in a Process Calculus for Spatially-Explicit Ecological Models.- DISPAS: An Agent-Based Tool for the Management of Fishing Effort.- Certifying Machine Code Safe from Hardware Aliasing: RISC is Not Necessarily Risky.- Soundness and Completeness of the NRB Verification Logic.- Analysis of FLOSS Communities as Learning Contexts.- Small World Characteristics of FLOSS Distributions.

Reviews

Author Information

Tab Content 6

Author Website:  

Customer Reviews

Recent Reviews

No review item found!

Add your own review!

Countries Available

All regions