1
Published 2012
Table of Contents: ...Supporting Multiprocessors in the Real-time Specification for Java Version -- Using Real-time Java...
View full text
Electronic eBook
2
Published 2015
Table of Contents: ... of Functional Programs -- Lingva: Generating and Proving Program Properties Using Symbol -- Neutralizing...
View full text
Electronic eBook
3
Published 2013
Table of Contents: ... of Programmable Logic Controller Code -- Modeling Firmware as Service Functions and Its Application to Test...
View full text
Electronic eBook