| |
|
| |
|
| |
Computer Network Security In Computer Network Security, Vol. 3685 (2005), pp. 206-220.
|
| |
ACM Trans. Program. Lang. Syst., Vol. 15, No. 1. (1993), pp. 73-132.
|
| |
Computer Standards & Interfaces, Vol. 23, No. 4. (September 2001), 355.
|
| |
In Recent Advances in Applied Mathematics and Computational and Information Sciences, Vol. II (2009), pp. 437-440.
|
| |
Software and Systems Modeling
|
| |
Third International Conference on Availability, Reliability and Security In Third International Conference on Availability, Reliability and Security, Vol. 0 (March 2008), pp. 80-87.
|
| |
Software Engineering, IEEE Transactions on, Vol. 20, No. 9. (06 August 2002), pp. 684-707.
|
| |
In Proceedings of the 31st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (2004), pp. 220-231.
|
| |
In TLDI '09: Proceedings of the 4th international workshop on Types in language design and implementation (2009), pp. 105-116.
|
| |
|
| |
Interactive Systems. Design, Specification, and Verification (2008), pp. 58-71.
|
| |
1997 IEEE Symposium on Security and Privacy In 1997 IEEE Symposium on Security and Privacy (1997), pp. 31-42.
|
| |
Computer Networks, Vol. 33, No. 1-6. (June 2000), pp. 77-93.
|
| |
|
| |
Policies for Distributed Systems and Networks, 2008. POLICY 2008. IEEE Workshop on In 2008 IEEE Workshop on Policies for Distributed Systems and Networks - POLICY (June 2008), pp. 245-246.
|
| |
In POLICY '01: Proceedings of the International Workshop on Policies for Distributed Systems and Networks, Vol. 1995 (2001), pp. 18-38.
|
| |
Nature (24 August 2008)
by Franz-Josef Müller, Louise C. Laurent, Dennis Kostka, et al.Igor Ulitsky, Roy Williams, Christina Lu, In-Hyun Park, Mahendra S. Rao, Ron Shamir, Philip H. Schwartz, Nils O. Schmidt, Jeanne F. Loring
|
| |
|
| |
Software Engineering, IEEE Transactions on In Software Engineering, IEEE Transactions on, Vol. 21, No. 4. (1995), pp. 336-354.
|
| |
|
| |
|
| |
Information Processing Letters, Vol. 41, No. 1. (21 January 1992), pp. 9-12.
|
| |
Information Processing Letters, Vol. 35, No. 1. (15 June 1990), pp. 19-22.
|
| |
Software and Systems Modeling, Vol. 6, No. 2. (1 June 2007), pp. 185-204.
|
| |
Frontiers of Computer Science in China, Vol. 2, No. 4. (1 December 2008), pp. 331-343.
|
| |
IEICE Trans Inf Syst, Vol. E91-D, No. 5. (1 May 2008), pp. 1492-1503.
|
| |
International Journal of Software Engineering and Knowledge Engineering, Vol. 2 (1992)
|
| |
Emerging Trends in Information and Communication Security In Emerging Trends in Information and Communication Security, Vol. 3995 (2006), pp. 352-367.
|
| |
In ASIACCS '07: Proceedings of the 2nd ACM symposium on Information, computer and communications security (2007), pp. 70-81.
|
| |
|
| |
|
| |
|
| |
|
| |
Knowl. Acquis., Vol. 5, No. 2. (June 1993), pp. 199-220.
|
| |
American Journal of Political Science, Vol. 41, No. 2. (1997), pp. 641-674.
|
| |
|
| |
IBM Journal of Research and Development, Vol. 31, No. 5. (1987), pp. 546-555.
|
| |
In SIGSOFT '08/FSE-16: Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of software engineering (2008), pp. 158-169.
|
| |
ACM Computing Surveys, Vol. 41, No. 2. (2009), pp. 1-76.
by Robert M. Hierons, Kirill Bogdanov, Jonathan P. Bowen, et al.Rance Cleaveland, John Derrick, Jeremy Dick, Marian Gheorghe, Mark Harman, Kalpesh Kapoor, Paul Krause, Gerald Lüttgen, Anthony J. H. Simons, Sergiy Vilkomir, Martin R. Woodward, Hussein Zedan
|
| |
|
| |
Tools and Algorithms for the Construction and Analysis of Systems In Tools and Algorithms for the Construction and Analysis of Systems, Vol. 1055 (1996), pp. 70-86.
|
| |
The Computer Journal, Vol. 35, No. 6. (1 December 1992), pp. 567-573.
|
| |
IEEE Symposium on Security and Privacy In IEEE Symposium on Security and Privacy (1996), pp. 12-21.
|
| |
Distributed Systems In Distributed Systems, Vol. 190 (1985), pp. 203-285.
|
| |
|
| |
In POPL '80: Proceedings of the 7th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1980), pp. 251-261.
|
| |
TAPSOFT '95: Theory and Practice of Software Development In TAPSOFT '95: Theory and Practice of Software Development, Vol. 915 (1995), pp. 82-96.
|
| |
Verified Software: Theories, Tools, Experiments In Verified Software: Theories, Tools, Experiments, Vol. 4171 (2008), pp. 64-69.
|
Search
