Christel Baier and Joost-Pieter KatoenPrinciples of Model Checking. MIT Press (May 2008).ISBN: 978-0-262-02649-9. £44.95. 975 pp. Hardcover.
- Published in:
- 2010
- By:
- Publication type:
- Book Review
Works matching IS 00104620 AND DT 2010 AND VI 53 AND IP 5
Results: 14
1
2
Analyzing Team Decision-Making in Tactical Scenarios.
- Published in:
- Computer Journal, 2010, v. 53, n. 5, p. 503, doi. 10.1093/comjnl/bxp038
- By:
- Publication type:
- Article
3
A Categorization Framework for Common Computer Vulnerabilities and Exposures.
- Published in:
- Computer Journal, 2010, v. 53, n. 5, p. 551, doi. 10.1093/comjnl/bxp040
- By:
- Publication type:
- Article
4
Probabilistic Approaches to Estimating the Quality of Information in Military Sensor Networks.
- Published in:
- Computer Journal, 2010, v. 53, n. 5, p. 493, doi. 10.1093/comjnl/bxp047
- By:
- Publication type:
- Article
5
Frank Y. ShihDigital Watermarking and Steganography: Fundamentals and Techniques. CRC/Taylor & Francis (2008).ISBN-13: 9781420047578. £46.99. 180 pp. Hardcover.
- Published in:
- 2010
- By:
- Publication type:
- Book Review
6
Response to Prof. Baccelli's lecture on Modelling of Wireless Communication Networks by Stochastic Geometry.
- Published in:
- 2010
- By:
- Publication type:
- Opinion
7
Agent Support for Policy-Driven Collaborative Mission Planning.
- Published in:
- Computer Journal, 2010, v. 53, n. 5, p. 528, doi. 10.1093/comjnl/bxp061
- By:
- Publication type:
- Article
8
Time–Space Opportunistic Routing in Wireless Ad hoc Networks: Algorithms and Performance Optimization by Stochastic Geometry.
- Published in:
- Computer Journal, 2010, v. 53, n. 5, p. 592, doi. 10.1093/comjnl/bxp049
- By:
- Publication type:
- Article
9
Introduction to the Special Issue on Advances in Sensing, Information Processing and Decision Making for Coalition Operations within the US/UK International Technology Alliance.
- Published in:
- Computer Journal, 2010, v. 53, n. 5, p. 491, doi. 10.1093/comjnl/bxp066
- Publication type:
- Article
10
Secure Testable S-box Architecture for Cryptographic Hardware Implementation.
- Published in:
- Computer Journal, 2010, v. 53, n. 5, p. 581, doi. 10.1093/comjnl/bxp048
- By:
- Publication type:
- Article
11
Paul Ammann and Jeff OffuttIntroduction to Software Testing. Cambridge University Press(2008). ISBN: 978-0-521-88038-1. £32.99. 322 pp. Hardcover.
- Published in:
- 2010
- By:
- Publication type:
- Book Review
12
Discussant of Response to the Computer Journal Lecture by Francois Baccelli.
- Published in:
- Computer Journal, 2010, v. 53, n. 5, p. 610, doi. 10.1093/comjnl/bxp050
- By:
- Publication type:
- Article
13
Understanding the Quality of Monitoring for Network Management.
- Published in:
- Computer Journal, 2010, v. 53, n. 5, p. 541, doi. 10.1093/comjnl/bxp058
- By:
- Publication type:
- Article
14
Dynamic Service Execution in Sensor Networks.
- Published in:
- Computer Journal, 2010, v. 53, n. 5, p. 513, doi. 10.1093/comjnl/bxp051
- By:
- Publication type:
- Article