Open AccessSafety Design for Simulation Models based on Formal Methods
Author(s) -
Wassim Trojet
Publication year - 2017
Publication title -
international journal of computer applications
Language(s) - English
Resource type - Journals
ISSN - 0975-8887
DOI - 10.5120/ijca2017916058
Subject(s) - computer science , software engineering