Results for:
"
Jan+Cornelisz+Vermeyen
" in Documents
- Feature Specification and Refinement with State 1997
- In this paper, we introduce a graphic specification technique, called state transition diagrams (STD), and show the application to the feature interaction problem.
-
Rating:
Views: (1010)
Pages: ()
Uploaded: 13-05-09
- Enhancing the SYSLAB System Model with State 1996
- In this report, the SysLab system model is complemented in different ways: State-box models are provided through timed port automata, for which an operational and a corresponding denotational semantic...
-
Rating:
Views: (1006)
Pages: ()
Uploaded: 13-05-09
- Enhancing the SYSLAB System Model with State 1996
- In this report, the SysLab system model is complemented in different ways: State-box models are provided through timed port automata, for which an operational and a corresponding denotational semantic...
-
Rating:
Views: (1006)
Pages: ()
Uploaded: 13-05-09
- Enhancing the SYSLAB System Model with State 1996
- In this report, the SysLab system model is complemented in different ways: State-box models are provided through timed port automata, for which an operational and a corresponding denotational semantic...
-
Rating:
Views: (1012)
Pages: ()
Uploaded: 13-05-09
- Enhancing the SYSLAB System Model with State 1996
- In this report, the SysLab system model is complemented in different ways: State- ox models are provided through timed port automata, for whichanoperational and a corresponding denotational semantics ...
-
Rating:
Views: (1009)
Pages: ()
Uploaded: 13-05-09
- State Transition Diagrams 1996
- In this paper, we present a general concept of state transition diagrams well-suited for various modeling purposes. Our notation is tailored for the description of asynchronous time-independent agents...
-
Rating:
Views: (1010)
Pages: ()
Uploaded: 13-05-09
- Thalidomide once more in the spotlight
- Thalidomide was withdrawn from the market in the early sixties because of major teratogenic effects such as reduction defects of the limbs. Since, however, it has been found to be an effective drug in...
-
Rating:
Views: (2)
Pages: ()
Uploaded: 1999-2-24
- Recent reviews. 57.
- Reviews are listed in order of appearance in the sources indicated. In multidisciplinary review journals, only those reviews which fall within the scope of this Journal are included. Sources are liste...
-
Rating:
Views: ()
Pages: ()
Uploaded: 2000-7-13