Software component identification specification and classification using formal method and artificial neural networks
Thesis (Ph.D.)--Chulalongkorn University, 2004
Saved in:
Main Author: | Sathit Nakkrasae, 1974- |
---|---|
Other Authors: | Peraphon Sophatsathit |
Format: | Theses and Dissertations |
Language: | English |
Published: |
Chulalongkorn University
2007
|
Subjects: | |
Online Access: | http://cuir.car.chula.ac.th/handle/123456789/4097 |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Institution: | Chulalongkorn University |
Language: | English |
Similar Items
-
Formal specification synthesis using requirements particle networks
by: Wiwat Vatanawood
Published: (2006) -
Formal Methods for Components and Objects
Published: (2017) -
Formal Methods for Industrial Critical Systems
Published: (2017) -
Trophic state assessment using hybrid classification tree-artificial neural network
by: Concepcion, Ronnie Sabino, et al.
Published: (2020) -
Formal Techniques for Networked and Distributed Systems - FORTE 2008
Published: (2017)