Publications
Number of publications matching the search criterion: 4
Doctoral Thesis (1)
Architectural Modeling and Analysis of Complex Real-Time Systems (Sep 2003) Anders Wall
Conference/Workshop Paper (3)
Transformational Specification of Complex Legacy Real-Time Systems via Semantic Anchoring (Jul 2009) Yue Lu, Antonio Cicchetti, Stefan Bygde, Johan Kraft, Thomas Nolte, Christer Norström The 2nd IEEE International Workshop on Component-Based Design of Resource-Constrained Systems (CORCS09) in conjunction with the 33rd Annual IEEE Computer Software and Applications Conference (COMPSAC09)
Introducing Temporal Analyzability Late in the Lifecycle of Complex Real-Time Systems (Feb 2003) Anders Wall, Johan Kraft, Jonas Neander, Christer Norström, Martin Lembke In proceedings of RTCSA 03
Timed Automata as Task Models for Event-Driven Systems (Dec 1999) Christer Norström, Anders Wall In proceedings of RTCSA99
