BibSonomy :: author  :: Hasegawa ::

bookmarks

publications

(1)

previous | 1 | next  

• Testing of Software and Communicating Systems: 20th IFIP TC 6/WG 6.1 International Conference, TestCom 2008 8th International Workshop, FATES 2008, Tokyo, Japan, June 2008, Proceedings
  Kenji Suzuki and Teruo Higashino and Andreas Ulrich and Toru Hasegawa (2008)
  to formal methods testing by ist_spl on 2008-09-24 11:50:14
  | URL | BibTeX  

previous | 1 | next  

Showing 10 items per page. Show 10, 25, 50, 100 items per page.

• tags
  • (MCMC)
  • -23PDrivingModulating
  • 2,3,4,5-Tetrahydro-7,8-dihydroxy-1-phenyl-1H-3-benzazepine;
  • Accumbens;
  • activity
  • Agonists;
  • algorithms,
  • Analysis
  • analysis
  • and
  • Animal;
  • Animals;
  • annealing
  • Antagonists;
  • Artifical
  • Behavior,
  • bg
  • brain
  • breast
  • callosumvisual
  • cancer,
  • Carbachol;
  • Carlo
  • cayley
  • CCP
  • chain
  • charge
  • Cholinergic
  • Cholinergic;
  • classification,
  • Combinations;
  • complex
  • critical
  • data
  • dblp
  • detectors,
  • Dopamine
  • Dopamine;
  • Dose-Response
  • Drug
  • Drug;
  • EGS4
  • energy
  • evolutionary
  • Factors
  • formal
  • Functional
  • genetic
  • HEPT,
  • heterogeneous
  • high-tc,
  • housing
  • htsct,
  • immunoassay
  • imported
  • Interactions;
  • ising
  • JRR,
  • Langevin
  • Laterality;
  • life
  • liposome
  • loss,
  • majority
  • Male;
  • Markov
  • Mecamylamine;
  • memory,
  • methods
  • mode
  • model
  • Monte
  • Movement;
  • Multi-objective
  • network
  • Networks
  • Nicotinic
  • noise
  • Non-Gaussian
  • Nonextensive
  • Nucleus
  • of
  • optimisation,
  • optimization
  • pattern
  • pfc
  • PFCretrievalprimatescorpus
  • phenomena
  • pla2
  • problem
  • programming
  • programming,
  • Public
  • quantitative
  • Quinpirole;
  • Rats,
  • Rats;
  • Receptors,
  • recognition
  • relationship
  • Relationship,
  • relaxation
  • robotics
  • Rotation;
  • salesman
  • selection,
  • semiconductor
  • simulated
  • software
  • spectrum,
  • statistics
  • statphys23
  • structure
  • testing
  • theory
  • three
  • threemode
  • Time
  • topic-11
  • traveling
  • tree
  • Variable
  • Variance;
  • voting
  • Wistar;