Web
Education
Viewing 1-2 of 2 total results
Compositional Specification of ODP Binding Objects ...
Abstract. A building blocks approach for the formal specification of binding objects in the ODP computational Model is presented. The formal notation that is used is based on LOTOS extended with two features — real time and gate passing.
Formal Description Techniques and Protocol Specification ...
26 Using a formal description technique to model aspects of a global air traffic telecommunications network J.H. Andrews, N.A. Day and J.J. Joyce 417 27 An experiment in using RT-LOTOS for the formal specification and verification of a distributed scheduling algorithm in a nuclear power plant monitoring System
|
iSEEK provides users with a Favorites library that allows them easy access to their most-used websites from any computer. If you have an iSEEK account, the content you just selected can be added to your Favorites page to be revisited any time you want.
If you would like to join the iSEEK community, click the "Register" button below to create your free iSEEK account. The resource you have selected will be added to your new Favorites library after you sign in for the first time.
If you already have an iSEEK account, click the button below to sign in and add the resource to your Favorites library.