Top /
Computers /
Computer_Science /
People /
N /
 |
Nadjm-Tehrani, Simin
Linköping University - Formal methods in verification of real-time and embedded systems, including discrete and hybrid models, applications of temporal logic, symbolic model checking, automata-based decompositional proof techniques.
http://www.ida.liu.se/~snt/
Liu.se ~
Site Info
Whois
Trace Route
RBL Check
|
 |
Nipkow, Tobias
Technische Universität München - Automatic and interactive theorem proving, formal verification, formalizing programming languages, type systems, semantics, rewriting and unification, lambda-calculus.
http://isabelle.in.tum.de/~nipkow/
Tum.de ~
Site Info
Whois
Trace Route
RBL Check
|
 |
Nieh, Jason
Columbia University - operating systems, end-to-end system resource management, real-time interactive multimedia systems, network and thin-client computing, ubiquitous computing architectures, performance evaluation.
http://www.cs.columbia.edu/~nieh
Columbia.edu ~
Site Info
Whois
Trace Route
RBL Check
|
|
|
|
