1
Julkaistu 2012
Sisällysluettelo: ...Supporting Multiprocessors in the Real-time Specification for Java Version -- Using Real-time Java...
Hae kokoteksti
Elektroninen E-kirja
2
Julkaistu 2015
Sisällysluettelo: ... of Functional Programs -- Lingva: Generating and Proving Program Properties Using Symbol -- Neutralizing...
Hae kokoteksti
Elektroninen E-kirja
3
Julkaistu 2013
Sisällysluettelo: ... of Programmable Logic Controller Code -- Modeling Firmware as Service Functions and Its Application to Test...
Hae kokoteksti
Elektroninen E-kirja