Specifying Software Architectures Using a Formal-Based Approach (2008)
Copyright © 2008, IEEE Computer Society
CTL Model Update for System Modifications (2008)
c 2008 AI Access Foundation. All rights reserved.
Specifying Software Architectures Using a Formal-Based Approach (2008)
Copyright © 2008, IEEE Computer Society
CTL Model Update for System Modifications (2008)
c 2008 AI Access Foundation. All rights reserved.
Model update system for modifications (2007)
Ding, Yulin, College Of Health And Science, School Of Computing And Mathematics
Model checking is an existing approach for automatic reasoning. The model checker is an important tool and has been applied to software engineering for system verification. As an extension of model...
Model update system for modifications (2007)
Model checking is an existing approach for automatic reasoning. The model checker is an important tool and has been applied to software engineering for system verification. As an extension of model...
Model update system for modifications (2007)
Model checking is an existing approach for automatic reasoning. The model checker is an important tool and has been applied to software engineering for system verification. As an extension of model...
CTL Model Update: Semantics, Computations and Implementation (2006)
http://nla.gov.au/anbd.bib-an41199179
A Case Study for CTL Model Update (2006)
The original publication can be found at www.springerlink.com
Dual Space Drawing Methods for Ruled Surfaces with Particular Shapes (2006)
Copyright 2005 International Journal of Computer Science and Network Security
CTL Model Update: Semantics, Computations and Implementation (2006)
http://nla.gov.au/anbd.bib-an41199179
A Case Study for CTL Model Update (2006)
The original publication can be found at www.springerlink.com
Dual Space Drawing Methods for Ruled Surfaces with Particular Shapes (2006)
Copyright 2005 International Journal of Computer Science and Network Security
Model Updating CTL Systems (2005)
The original publication can be found at www.springerlink.com
Algorithms for CTL System Modification (2005)
The original publication can be found at www.springerlink.com
A Logic Approach for LTL System Modification (2005)
The original publication can be found at www.springerlink.com
Model Updating CTL Systems (2005)
The original publication can be found at www.springerlink.com
Algorithms for CTL System Modification (2005)
The original publication can be found at www.springerlink.com
A Logic Approach for LTL System Modification (2005)
The original publication can be found at www.springerlink.com
The extension of the dual De Casteljau algorithm (2003)
© Copyright 2003 IEEE
Ruled surface design and its applications are widely used in CAGD(Computer Aid Geometric Design) and industrial areas. In this paper, the hyperbolic paraboloid is a particular ruled surface, which is...
Dual Space Drawing Methods of Cylinders. (2003)
The original publication can be found at www.springerlink.com
The extension of the dual De Casteljau algorithm (2003)
© Copyright 2003 IEEE
Ruled surface design and its applications are widely used in CAGD(Computer Aid Geometric Design) and industrial areas. In this paper, the hyperbolic paraboloid is a particular ruled surface, which is...
Dual Space Drawing Methods of Cylinders. (2003)
The original publication can be found at www.springerlink.com
Drawing Ruled Surfaces Using the Dual de Boor Algorithm (2002)
http://www.elsevier.com/wps/find/journaldescription.cws_home/681021/description#description
Drawing Ruled Surfaces Using the Dual de Boor Algorithm (2002)
http://www.elsevier.com/wps/find/journaldescription.cws_home/681021/description#description
Dual drawing methods for ruled surfaces of particular shapes (2000)
Bibliography: leaves 132-138.