Open AccessFormal Verification Issues For Component-Based Development
Author(s) -
Mehdi Hariati
Publication year - 2020
Publication title -
informatica
Language(s) - Uncategorized
Resource type - Journals
SCImago Journal Rank - 0.172
H-Index - 34
eISSN - 1854-3871
pISSN - 0350-5596
DOI - 10.31449/inf.v44i4.3152
Subject(s) - component (thermodynamics) , correctness , computer science , formal verification , software engineering , formal methods , development (topology) , component based software engineering , safer , adaptation (eye) , software development , systems engineering , software , programming language , engineering , computer security , mathematical analysis , physics , mathematics , optics , thermodynamics
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom