Sciweavers

15777 search results - page 176 / 3156
» Engineering in Software
Sort
View
SEFM
2005
IEEE
16 years 1 days ago
Control Code Obfuscation by Abstract Interpretation
Mila Dalla Preda, Roberto Giacobazzi
SEFM
2005
IEEE
16 years 1 days ago
Specifying Urgency in Timed I/O Automata
Biniam Gebremichael, Frits W. Vaandrager