Formal Development for Railway Signaling Using Commercial Tools

Lecture Notes in Computer Science - Germany
doi 10.1007/978-3-642-04570-7_15
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer Berlin Heidelberg

Related search

More About TAS and IsaWin — Tools for Formal Program Development

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2000English

Synthesis of Railway-Signaling Plans Using Reachability Games

2016English

Formal Verification of Mixed Synchronous Asynchronous Systems Using Industrial Tools

2018English

Using Simulation Games in Teaching Formal Methods for Software Development

Advances in Higher Education and Professional Development
English

Development of Quality Control Tools for ARCMAP Using Python

International Journal of Innovative Technology and Exploring Engineering
Mechanics of MaterialsElectronic EngineeringCivilStructural EngineeringElectricalComputer Science
2019English

A Formal Model for Forensic Storage Media Preparation Tools

2014English

Intercurricular Relationship Development Using Ict Tools

Journal of Technology and Information Education
2010English

Development of Design Tools for Coining Process Using FEM

English

A Case Study in Integrating Formal Verification Tools Using the OMDoc Standard for Mathematical Documents

English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy