1
Publicat 2013
Taula de continguts: ... of Programmable Logic Controller Code -- Modeling Firmware as Service Functions and Its Application to Test...
Obtenir text complet
Electrònic eBook
2
Publicat 2013
Taula de continguts: ... Condition Generation for Permission Logics with Abstract Predicates and Abstraction Functions -- Modelling...
Obtenir text complet
Electrònic eBook