Author Search Results

Tobias Nipkow

Tobias Nipkow (born 1958) is a German computer scientist. Provided by Wikipedia

Formal logical methods for system security and correctness / edited by Orna Grumberg, Tobias Nipkow and Christian Pfaller.

Participants: NATO Advanced Study Institute on Formal Logical Methods for System Security and Correctness Marktoberdorf, Germany) [ ]; ProQuest (Firm) [ ]; Grumberg, Orna. [ TeilnehmendeR ]; Nipkow, Tobias, 1958- [ TeilnehmendeR ]; Pfaller, Christian. [ TeilnehmendeR ]; ...
Published: c2008.
Superior document: NATO security through science series. D, Information and communication security, v. 14

Other Authors: “...Nipkow, Tobias, 1958-...”

Links: Get full text

Software safety and security : tools for analysis and verification / / edited by Tobias Nipkow, Orna Grumberg and Benedikt Hauptmann.

Participants: NATO Advanced Study Institute on Tools for Analysis and Verification of Software Safety and Security Bayrischzell, Germany) [ ]; NATO Emerging Security Challenges Division. [ ]; ProQuest (Firm) [ ]; Nipkow, Tobias, 1958- [ TeilnehmendeR ]; Grumberg, Orna. [ TeilnehmendeR ]; ...
Published: 2012.
Superior document: NATO science for peace and security series. Sub-series D, Information and communication security, v. 33

Other Authors: “...Nipkow, Tobias, 1958-...”

Links: Get full text