Open AccessSystem Reliability using Simulation Models and Formal Methods
Author(s) -
Wassim Trojet,
Tahar Berradia
Publication year - 2015
Publication title -
international journal of computer applications
Language(s) - English
Resource type - Journals
ISSN - 0975-8887
DOI - 10.5120/ijca2015907684
Subject(s) - devs , computer science , formalism (music) , formal verification , formal methods , formal specification , notation , discrete event simulation , consistency (knowledge bases) , completeness (order theory) , modeling and simulation , programming language , theoretical computer science , simulation , artificial intelligence , mathematics , art , musical , mathematical analysis , arithmetic , visual arts