Sciweavers

4460 search results - page 38 / 892
» Formal methods for interactive systems
Sort
View
FORMATS
2005
Springer
14 years 1 months ago
Automatic Rectangular Refinement of Affine Hybrid Systems
Laurent Doyen, Thomas A. Henzinger, Jean-Fran&cced...
CAV
2007
Springer
123views Hardware» more  CAV 2007»
14 years 1 months ago
Test Coverage for Continuous and Hybrid Systems
Tarik Nahhal, Thao Dang
ISOLA
2004
Springer
14 years 1 months ago
Modelling Coordination in Biological Systems
Dave Clarke, David Costa, Farhad Arbab
ISOLA
2004
Springer
14 years 1 months ago
System Architecture Evaluation Using Modular Performance Analysis - A Case Study
Marcel Verhoef, Ernesto Wandeler, Lothar Thiele, P...
MIE
2008
150views Healthcare» more  MIE 2008»
13 years 9 months ago
Mining for Adverse Drug Events with Formal Concept Analysis
: 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...
Alexander Estacio-Moreno, Yannick Toussaint, C&eac...