Opening book details…
About this Computer Science article
A formal verification of dynamic updating in a Java-based embedded system by Lounas, Razika; Mezghiche, Mohamed; Lanet, Jean Louis is a Computer Science article available to read on EtoBox.
It is typically read by researchers, students, and practitioners in Computer Science.
- Author
- Lounas, Razika; Mezghiche, Mohamed; Lanet, Jean Louis
- Publisher
- Inderscience Publishers; Inderscience Enterprises Ltd. (ISSN 1757-8779)
- Published
- 2017
- Field
- Computer Science (Physical Sciences)