N.Fenton, G.Hill. Systems Construction and Analysis: A Mathematical and Logical Framework. McGraw-Hill International Limited, 1993, ISBN 0-07-707431-9. Home/Search Document Not in Database Context Related Articles Check |
This paper is cited by the following papers:
ProGram: A Grammar-Based Method for Specification and Hardware.. - Öberg (1999) (Correct)
High-Level Synthesis of Control and Memory Intensive Applications - Ellervee (2000) (Correct)
Towards a Framework for Formalizing Requirements - Droschl (1999) (Correct)
Algorithms for Managing the Evolution of Software Designs - Spiros Mancoridis (Correct)
IRSYD - An Internal representation for System.. - Ellervee, Kumar.. (1997) (Correct)
Using Tube Graphs to Model Architectural Designs of Software.. - Richard Holt (1994) (Correct)
Formalising System Structure - Radestock, Eisenbach (Correct)
Modeling Adaptability in Object-Oriented Software.. - Bedir Tekinerdogan.. (Correct)
A Simulator for Prolog - Chiba, Gilbert (1995) (Correct)
System Configuration As A Mathematical And Logical Framework For.. - Hill Self-citation (Hill) (Correct)
The Configuration of Complex Systems - Hill (1994) Self-citation (Hill) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC