語系
Bertogna, Marko.
概要
| 作品: | 1 作品在 2 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Multiprocessor scheduling for real-time systems
by:
Baruah, Sanjoy.; Bertogna, Marko.; Buttazzo, Giorgio.; SpringerLink (Online service)
(書目-電子資源)
Reliable software technologies - Ada-Europe 2016 = 21st Ada-Europe International Conference on Reliable Software Technologies, Pisa, Italy, June 13-17, 2016 : proceedings /
by:
Bertogna, Marko.; Pinho, Luis Miguel.; Quinones, Eduardo.; SpringerLink (Online service)
(書目-電子資源)
主題
Software Engineering.
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Electronics and Microelectronics, Instrumentation.
Multiprocessors.
Processor Architectures.
Programming Languages, Compilers, Interpreters.
Special Purpose and Application-Based Systems.
Circuits and Systems.
Real-time data processing.
Engineering.
Computer software- Reliability
Computer Science.