Francois Siewe and Dang Van Hung. From Continuous Specification to Discrete design. Technical Report 182, UNU/IIST, P.O.Box 3058, Macau, 1999. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
UNU/IIST Annual Report 1999 - Unu/iist (2000) (Correct)
....Specification based testing 4 Publications and Academic Events 4.1 Publications 4.1.1 UNU IIST Reports In 1999, there were 32 technical reports produced in UNU IIST by its fellows, staff and visitors. These reports are available in UNU IIST s library and accessible via UNU IIST s web page ([9, 55, 24, 25, 40, 13, 58, 27, 5, 2, 49, 17, 31, 38, 6, 41, 10, 48, 50, 23, 47, 43, 52, 56, 51, 8, 54, 29, 60, 36, 37, 57]) 4.1.2 External Publications In 1999, a total of 25 papers written by UNU IIST fellows and staff were published. Among them 9 papers, 30, 4, 34, 7, 35, 46, 12, 11, 59] were published in international journals, national journals or as the chapter of a book. Others were published in ....
Francois Siewe and Dang Van Hung. From Continuous Specification to Discrete Design. Technical Report 182, UNU/IIST, P.O. Box 3058, Macau, December 1999.
A Systematic Design of Real-time Systems Using Duration.. - Van Nhon, Van Hung (2000) (2 citations) Self-citation (Van hung) (Correct)
No context found.
Francois Siewe and Dang Van Hung. From Continuous Specification to Discrete design. Technical Report 182, UNU/IIST, P.O.Box 3058, Macau, 1999.
From Continuous Specification to Discrete Design - Siewe, Van Hung (1999) (1 citation) Self-citation (Siewe Van hung) (Correct)
....we give some rules useful for both the refinement and the verification. For a rule, the formula above the line is a refinement of the formula under the tine, while the formula under the tine is the consequence of the formula above the line. The proofs of the rules and more details are given in [4]. Transitivity rules Rule 1 (r ffi s) s t) r (ffi ) t Rule 2 (r Gamma ffi s) s Gamma t) r Gamma (ffi ) t These rules say that the accuracy is deteriorated through sequential samplings of a state. They are helpful for the design of distributed systems comprising many ....
....time the receiver can detect at most one string in its domain. 2. For all w 2 dom(f) there is a formula D 2 L r such that f(w) D and g(D) w, i.e for any input string in the domain of the sender the receiver can detect at least one string in its domain. The proof of the correctness is given in [4] using the rules given in the previous section. Because of the space limit, it is omitted here. Reasoning about clock rates of the sender and the reader Our design technique is more useful as it can allow to reason about the parameters of the system. We have shown that the protocol is correct ....
Francois Siewe and Dang Van Hung. From continuous specification to discrete design. Technical Report 182, UNU/IIST, P.O. Box 3058, Macau, December 1999.
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