Sciweavers

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