| Session code: | Th-E09-TO |
|---|---|
| Date: | 2005-07-07 |
| Time: | 15:30:00 - 17:30:00 |
| Room: | Club D |
| Organizers: | Sanz Ricardo, Universidad Politecnica de Madrid, Spain |
| Chairs: | Becker Leandro, UFSC, Brazil |
| Cochairs: | Marcos Marga, University of the Basque Country, Spain |
| Paper Code | Title | Authors | Topic |
|---|---|---|---|
| Th-E09-TO/1 | An Approach for Designing Real-time Embedded Systems from RT-UML Specifications | Becker Leandro, Wehrmeister Marco A., Pereira Carlos E. | 3.1 |
| Th-E09-TO/2 | Comprehensive Modeling of Computer Control Systems' Functionality and Fault-Tolerance in UML | Lu Shourong, Halang Wolfgang A. | 3.1 |
| Th-E09-TO/3 | UML-PA as an Engineering Model for Distributed Process Automation | Katzke Uwe, Vogel-Heuser Birgit | 3.1 |
| Th-E09-TO/4 | Formal Modelling of Industrial Distributed Control Systems | Marcos Marga, Estevez Elisabet | 3.1 |
| Th-E09-TO/5 | Introducing a New Mathematical Abstraction for Modeling Real Time Systems | Deligiannis Vasileios, Manesis Stamatis | 3.1 |
| Th-E09-TO/6 | Timed Automata Model of Preemptive Multitasking Applications | Waszniowski Libor, Hanzalek Zdenek | 3.1 |