ID2019: ID@FM'19 (INDUSTRY DAY - FORMAL METHODS 2019)

This page contains an index consisting of author-provided keywords.

A
AIR	Formal Methods Applicability on Space Applications Specification and Implementation using MORA-TSP
Autonomy	Practical Application of SPARK to OpenUxAS
E
Event-B	Formal Conceptual Modelling: Industrial Application of Event-B to a Wayside Train Monitoring System
F
Formal Conceptual Data Model	Formal Conceptual Modelling: Industrial Application of Event-B to a Wayside Train Monitoring System
Formal Methods	Adopting Formal Methods in an Industrial Setting: the Railways Case Practical Application of SPARK to OpenUxAS Property-Driven Software Analysis
Formal proof	Property-Driven Software Analysis
Formal Verification	Formal Conceptual Modelling: Industrial Application of Event-B to a Wayside Train Monitoring System
FSM	Formal Methods Applicability on Space Applications Specification and Implementation using MORA-TSP
I
Industrial Application Survey	Adopting Formal Methods in an Industrial Setting: the Railways Case
M
MDE	Formal Methods Applicability on Space Applications Specification and Implementation using MORA-TSP
Model Transformation	Formal Methods Applicability on Space Applications Specification and Implementation using MORA-TSP
Model Validation	Formal Methods Applicability on Space Applications Specification and Implementation using MORA-TSP
O
OpenUxAS	Practical Application of SPARK to OpenUxAS
OSRA	Formal Methods Applicability on Space Applications Specification and Implementation using MORA-TSP
R
Railway Systems	Adopting Formal Methods in an Industrial Setting: the Railways Case
Refinement	Formal Conceptual Modelling: Industrial Application of Event-B to a Wayside Train Monitoring System
S
Software specification	Property-Driven Software Analysis
SPARK	Practical Application of SPARK to OpenUxAS
T
TASTE	Formal Methods Applicability on Space Applications Specification and Implementation using MORA-TSP

Disclaimer | Powered by EasyChair Smart Program