Languages
Guan, Nan.
Overview
| Works: | 7 works in 1 publications in 1 languages | |
|---|---|---|
Titles
Dependable Software Engineering. Theories, Tools, and Applications = 5th International Symposium, SETTA 2019, Shanghai, China, November 27–29, 2019, Proceedings /
by:
Sun, Jun.; Guan, Nan.; Katoen, Joost-Pieter.; SpringerLink (Online service)
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Techniques for building timing-predictable embedded systems
by:
Guan, Nan.; SpringerLink (Online service)
(Language materials, printed)
Techniques for Building Timing-Predictable Embedded Systems
by:
SpringerLink (Online service); Guan, Nan.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/aut]
Subjects
Electronics and Microelectronics, Instrumentation.
Mathematical logic.
Software Engineering.
Microelectronics.
Computer organization.
Circuits and Systems.
Microprocessors.
Computer logic.
Software engineering.
Electronic circuits.
Electronics.
Microprogramming .
Computer Systems Organization and Communication Networks.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Computer simulation.
Embedded computer systems.
Control Structures and Microprogramming.
Simulation and Modeling.
Engineering.
Processor Architectures.