Sciweavers

7027 search results - page 99 / 1406
» Software process: a roadmap
Sort
View
FSEN
2007
Springer
15 years 11 months ago
Action Abstraction in Timed Process Algebra
Michel A. Reniers, Muck van Weerdenburg
ISSRE
2005
IEEE
15 years 11 months ago
Modeling the Vulnerability Discovery Process
Omar H. Alhazmi, Yashwant K. Malaiya
FSTTCS
2005
Springer
15 years 11 months ago
On the Controller Synthesis for Finite-State Markov Decision Processes
Antonín Kucera, Oldrich Strazovský