Search
Search Constraints
You searched for: Author/Creator Sere, KaisaLimit your search
- Sere, Kaisa [remove] 2
- 004 2
- Computer architecture -- Periodicals 2
- Computer systems -- Periodicals 2
- video compression -- H.264 -- multicore processing -- formal method -- Event-B -- macroblock-level parallellisation -- proving -- refinement -- RODIN-tool -- frame-level parallelisation 1
- wireless sensor-actor networks -- WSANs -- network recovery algorithm -- distributed design -- object-orientation -- formal method -- Event-B -- refinement -- modularisation -- Rodin-tool 1