語系
Guan, Nan.
概要
| 作品: | 1 作品在 2 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Dependable software engineeringtheories, tools, and applications : 5th International Symposium, SETTA 2019, Shanghai, China, November 27-29, 2019 : proceedings /
by:
(1998 :); Guan, Nan.; Katoen, Joost-Pieter.; SpringerLink (Online service); Sun, Jun.
(書目-電子資源)
Techniques for building timing-predictable embedded systems
by:
Guan, Nan.; SpringerLink (Online service)
(書目-電子資源)
主題
Software engineering
Software Engineering.
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Electronics and Microelectronics, Instrumentation.
Control Structures and Microprogramming.
Processor Architectures.
Circuits and Systems.
Embedded computer systems.
Engineering.
Computer Systems Organization and Communication Networks.
Simulation and Modeling.