المؤلفون: Hugo, Daniel, McCulloch, John, Hameed, Akram, Borghei, Will, Grimeland, Martin, Felstead, Verity, Goldsworthy, Mark

مصطلحات موضوعية: Computer Science - Databases, Electrical Engineering and Systems Science - Systems and Control, 68U35 (primary) 68Q55 (secondary), I.6.7, J.7, H.2.3

URL الوصول: http://arxiv.org/abs/2311.11630

المؤلفون: Grimeland, Martin Breda

الإتاحة: https://hdl.handle.net/11250/3015534

المؤلفون: Olveczky, Peter Csaba, Grimeland, Martin

المصدر: 2007 IEEE International Parallel and Distributed Processing Symposium Parallel and Distributed Processing Symposium, 2007. IPDPS 2007. IEEE International. :1-8 Mar, 2007

Relation: 2007 IEEE International Parallel and Distributed Processing Symposium

المؤلفون: Grimeland, Martin

المصدر: Grimeland, Martin. Modeling and analysis of time-dependent security protocols in Real-Time Maude. Masteroppgave, University of Oslo, 2006

الإتاحة: http://hdl.handle.net/10852/9495