T. Stauner, A. Pretschner, and I. Peter. Approaching a discrete-continuous uml: Tool support and formalization. In Proc. UML'2001. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Refinement of Hybrid Systems from Formal Models to Design.. - Romberg, Grimm (Correct)
....synthesis of HW SW systems. Synchronous languages like Lustre [8] or AutoFOCUS [9] would be natural targets for our translation. As yet, HyCharts are not directly supported by design tools. More tool support for editing and for applying transformation rules, for instance in the MaSiEd environment [14], would clearly be desirable at this point. 12 ....
T. Stauner, A. Pretschner, and I. Pter. Approaching a discrete-continuous uml: Tool support and formalization. In Proc. UML'2001.
Refinement of Hybrid Systems - From Formal Models (Correct)
No context found.
T. Stauner, A. Pretschner, and I. Peter. Approaching a discrete-continuous uml: Tool support and formalization. In Proc. UML'2001.
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