International Journal of Critical Computer-Based Systems (IJCCBS)

International Journal of Critical Computer-Based Systems

2017 Vol.7 No.4


Pages Title and author(s)
303-340A formal verification of dynamic updating in a Java-based embedded system
Razika Lounas; Mohamed Mezghiche; Jean-Louis Lanet
DOI: 10.1504/IJCCBS.2017.089976
341-368A methodological approach for checking safety-critical systems software
Luis E. Mendoza; Manuel I. Capel
DOI: 10.1504/IJCCBS.2017.089985
369-396Software semantics and syntax as a tool for automated test generation
Nadia Nahar; Kazi Sakib
DOI: 10.1504/IJCCBS.2017.089987

 

Return to top