Sciweavers

15727 search results - page 116 / 3146
» Software Engineering - Introduction
Sort
View
125
Voted
VMCAI
2004
Springer
15 years 7 months ago
A Complete Method for the Synthesis of Linear Ranking Functions
Andreas Podelski, Andrey Rybalchenko
101
Voted
VMCAI
2004
Springer
15 years 7 months ago
Security, Protocols, and Trust
Joshua D. Guttman
105
Voted
VMCAI
2004
Springer
15 years 7 months ago
Checking Interval Based Properties for Reactive Systems
Pei Yu, Qiwen Xu
73
Voted
XPU
2004
Springer
15 years 7 months ago
Transitioning to XP
Michael Hill