4460 search results - page 38 / 892 » Formal methods for interactive systems |
FORMATS
2005
Springer
15 years 8 months ago
2005
Springer
CAV
2007
Springer
15 years 9 months ago
2007
Springer
87
Voted
ISOLA
2004
Springer
15 years 8 months ago
2004
Springer
105
Voted
ISOLA
2004
Springer
15 years 8 months ago
2004
Springer
131
click to vote
MIE
2008
15 years 4 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...