ALGEBRAIC APPROACH TO IMPLEMENTING AN ATL MODEL CHECKER.
- Published in:
- Studia Universitatis Babes-Bolyai, Informatica, 2012, v. 57, n. 2, p. 73
- By:
- Publication type:
- Article
Works matching IS 1224869X AND DT 2012 AND VI 57 AND IP 2
Results: 8
1
2
A STUDY ON USING ASSOCIATION RULES FOR PREDICTING PROMOTER SEQUENCES.
- Published in:
- Studia Universitatis Babes-Bolyai, Informatica, 2012, v. 57, n. 2, p. 32
- By:
- Publication type:
- Article
3
A STUDY ON HIERARCHICAL CLUSTERING BASED SOFTWARE RESTRUCTURING.
- Published in:
- 2012
- By:
- Publication type:
- Case Study
4
DRAS: DERIVED REQUIREMENTS GENERATION.
- Published in:
- Studia Universitatis Babes-Bolyai, Informatica, 2012, v. 57, n. 2, p. 83
- By:
- Publication type:
- Article
5
AN INCREMENTAL APPROACH TO THE SET COVERING PROBLEM.
- Published in:
- Studia Universitatis Babes-Bolyai, Informatica, 2012, v. 57, n. 2, p. 61
- By:
- Publication type:
- Article
6
OPTIMIZATIONS IN PERLIN NOISE-GENERATED PROCEDURAL TERRAIN.
- Published in:
- Studia Universitatis Babes-Bolyai, Informatica, 2012, v. 57, n. 2, p. 51
- By:
- Publication type:
- Article
7
CEPSTRAL-BASED SPEAKER RECOGNITION.
- Published in:
- Studia Universitatis Babes-Bolyai, Informatica, 2012, v. 57, n. 2, p. 43
- By:
- Publication type:
- Article
8
A FUZZY-MEMBRANE-IMMUNE ALGORITHM FOR BREAST CANCER DIAGNOSIS.
- Published in:
- Studia Universitatis Babes-Bolyai, Informatica, 2012, v. 57, n. 2, p. 3
- By:
- Publication type:
- Article