4460 search results - page 38 / 892 » Formal methods for interactive systems |
104
Voted
FORMATS
2005
Springer
15 years 9 months ago
2005
Springer
106
Voted
CAV
2007
Springer
15 years 10 months ago
2007
Springer
ISOLA
2004
Springer
15 years 9 months ago
2004
Springer
146
click to vote
MIE
2008
15 years 5 months ago
2008
: The pharmacovigilance databases consist of several case reports involving drugs and adverse events (AEs). Some methods are applied consistently to highlight all signals, i.e. all...