For the practical development of provably correct software for embedded systems the close integration of CASE tools and verification tools is required. This paper describes the co...
We present in this paper a novel control synthesis technique for system-level specifications that are better described as a set of concurrent synchronous descriptions, their synch...
Multi-dimensional(MD) systems are widely used in scientic applications such as image processing, geophysical signal processing and
uid dynamics. Earlier scheduling methods in syn...
Nelson L. Passos, Edwin Hsing-Mean Sha, Steven C. ...
The objective of the emis project is the conception and realization of a multilingualinformation system on European media law with the following functionalities: search by words, ...
Abstract. Explicit behavioural interface description languages (BIDLs, protocols) are now recognized as a mandatory feature of component languages in order to address component reu...