Languages
Guan, Nan.
Overview
| Works: | 1 works in 2 publications in 1 languages | |
|---|---|---|
Titles
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.
(Electronic resources)
Techniques for building timing-predictable embedded systems
by:
Guan, Nan.; SpringerLink (Online service)
(Electronic resources)
Subjects
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.