Searching for authors named "Elena Fersman" – sorted by Relevance.
9 documents found, showing 1 through 9.
-
A generic approach to schedulability analysis of real-time tasks
- …A Generic Approach to Schedulability Analysis of Real-Time Tasks Elena Fersman and Wang Yi Uppsala…
- Cited by 11 (3 self) – Add To MetaCart
-
Abstraction of Communication Channels in Promela: a Case Study
- …Abstraction of Communication Channels in Promela: a Case Study ? Elena Fersman and Bengt Jonsson…
- Cited by 8 (0 self) – Add To MetaCart
-
Schedulability Analysis Using Two Clocks
- …Schedulability Analysis Using Two Clocks Elena Fersman, Leonid Mokrushin, Paul Pettersson, and Wang…
- Cited by 8 (3 self) – Add To MetaCart
-
Schedulability analysis of fixed-priority systems using timed automata.” Theor
- …Schedulability Analysis of Fixed-Priority Systems Using Timed Automata Elena Fersman, Leonid…
- Cited by 3 (0 self) – Add To MetaCart
-
Timed automata with asynchronous processes: schedulability and decidability
- …Timed Automata with Asynchronous Processes: Schedulability and Decidability Elena Fersman, Paul…
- Cited by 22 (8 self) – Add To MetaCart
-
TIMES: a Tool for Schedulability Analysis and Code Generation of Real-Time Systems
- …, Elena Fersman, Leonid Mokrushin, Paul Pettersson, and Wang Yi ? Department of Information Technology…
- Cited by 19 (1 self) – Add To MetaCart
-
Tools for Real-Time UML: Formal Verification and Code Synthesis
- … 1 , Elena Fersman 1 , M. Oliver Moller 2 , Paul Petterson 1 and Wang Yi 1 1 Department…
- Cited by 2 (1 self) – Add To MetaCart
-
TIMES - A Tool for Modelling and Implementation of
- …TIMES - A Tool for Modelling and Implementation of Embedded Systems Tobias Amnell, Elena Fersman…
- Add To MetaCart
-
Nordic Journal of Computing
- …Nordic Journal of Computing CODE SYNTHESIS FOR TIMED AUTOMATA TOBIAS AMNELL 1 ELENA FERSMAN 1…
- Add To MetaCart
Showing 1 through 9.
