Theoretical Aspects of Computing – ICTAC 2012de Abhik RoychoudhuryMateriasMathematical Logic and Formal LanguagesSoftware engineeringInformation theoryLogic designLogics and Meanings of ProgramsComputation by Abstract DevicesComputer scienceProgramming Languages, Compilers, InterpretersTheory of Computation
TTime-Predictable Embedded Software on Multi-Core PlatformsTime-Predictable Embedded Software on Multi-Core Platforms