Search results for: Atle Refsdal
Lecture Notes in Computer Science > Formal Modeling and Analysis of Timed Systems > Logic and Specification > 32-48
Lecture Notes in Computer Science > Engineering Secure Software and Systems > Session 6. Secure System and Software Development II > 231-240
Lecture Notes in Computer Science > Formal Methods for Open Object-Based Distributed Systems > Regular Papers > 138-155
Lecture Notes in Computer Science > Model-Based Engineering of Embedded Real-Time Systems > Language Engineering > 77-103
IFIP — The International Federation for Information Processing > Trust Management III > Risk Assessment > 215-233
Journal of Computer and System Sciences > 2015 > 81 > 7 > 1221-1251
International Journal on Software Tools for Technology Transfer > 2015 > 17 > 3 > 251-266
Formal Aspects of Computing > 2013 > 25 > 2 > 159-187
The Journal of Systems & Software > 2010 > 83 > 10 > 1995-2013
Electronic Commerce Research > 2010 > 10 > 3-4 > 441-467
Science of Computer Programming > 2008 > 74 > 1-2 > 34-42
Electronic Notes in Theoretical Computer Science > 2008 > 197 > 2 > 15-29