Formal analysis of a space-craft controller using SPIN von Havelund, K., Lowry, M., Penix, J.

Volltext

Combining test case generation and runtime verification von Artho, Cyrille, Barringer, Howard, Goldberg, Allen, Havelund, Klaus, Khurshid, Sarfraz, Lowry, Mike, Pasareanu, Corina, Roşu, Grigore, Sen, Koushik, Visser, Willem, Washington, Rich

Volltext

MEDIA REVIEWS. Qualitative Research in Health: an Introduction by Carol Grbich. Sage, London, 1999, 320 pages, f47.50 (hardback) ISBN 0 761 96103 8, f15.99 (paperback) ISBN 0 761 9... von Lowry, Mike

Volltext

MEDIA REVIEWS von Lowry, Mike

Volltext

Media reviews: Qualitative Research in Health: an Introduction by Carol Grbich. Sage, London, 1999, 320 pages, £15·99 (paperback), ISBN 0 761 96104 6 von Lowry, Mike

Volltext

MEDIA REVIEWS von Lowry, Mike

Volltext

General Transit Feed Specification or GTFS Data on Public Transit Systems in Seattle, WA von Liao, Felix, Lowry, Mike

Volltext bestellen

Experimental Evaluation of Verification and Validation Tools on Martian Rover Software von Brat, Guillaume, Drusinsky, Doron, Giannakopoulou, Dimitra, Goldberg, Allen, Havelund, Klaus, Lowry, Mike, Pasareanu, Corina, Venet, Arnaud, Visser, Willem, Washington, Rich

Volltext

Generative Programming and Component Engineering: 4th International Conference, GPCE 2005, Tallinn, Estonia, September 29 - October 1, 2005, Proceedings von Glück, Robert, Lowry, Michael

Volltext

Working in syndicate groupstowards the development of clinical care protocols: a study into the professional learning of undergraduate nursing students von Lowry, Mike

Volltext

Working in syndicate groups towards the development of clinical care protocols: a study into the professional learning of undergraduate nursing students von Lowry, M

Volltext

Computer assisted learning: the potential for teaching and assessing in nursing von Lowry, Mike, Johnson, Mark

Volltext

Experiments with Test Case Generation and Runtime Analysis von Artho, Cyrille, Drusinksy, Doron, Goldberg, Allen, Havelund, Klaus, Lowry, Mike, Pasareanu, Corina, Roşu, Grigore, Visser, Willem

Volltext

Combining test case generation and runtime verification: Abstract state machines and high-level system design and analysis von ARTHO, Cyrille, BARRINGER, Howard, WASHINGTON, Rich, GOLDBERG, Allen, HAVELUND, Klaus, KHURSHID, Sarfraz, LOWRY, Mike, PASAREANU, Corina, ROSU, Grigore, KOUSHIK SEN, VISSER, Willem

Volltext

METHOD FOR REMOVING CUSTOMER PERSONAL INFORMATION FROM AN ELECTRONIC DEVICE von MCCARTY, Joel, GVENTER, Brian, NGUYEN, Ken, ASBURY, Kevin, LOWRY, Mike

Volltext bestellen

Method for removing customer personal information from an electronic device von Gventer, Brian, Lowry, Mike, McCarty, Joel, Asbury, Kevin, Nguyen, Ken

Volltext bestellen

SYSTEM AND METHOD FOR MANAGING SHIPPING OF ELECTRONIC DEVICES WITH CUSTOMER PERSONAL INFORMATION von GVENTER, Brian, McCARTY, Joel, NGUYEN, Ken, ASBURY, Kevin, LOWRY, Mike

Volltext bestellen

System and method for managing shipping of electronic devices with customer personal information von Gventer, Brian, Lowry, Mike, McCarty, Joel, Asbury, Kevin, Nguyen, Ken

Volltext bestellen

Testing device for removing customer personal information from an electronic device von Gventer, Brian, Lowry, Mike, McCarty, Joel, Asbury, Kevin, Nguyen, Ken

Volltext bestellen

AUDITING ELECTRONIC DEVICES FOR CUSTOMER PERSONAL INFORMATION von MCCARTY, Joel, GVENTER, Brian, NGUYEN, Ken, ASBURY, Kevin, LOWRY, Mike

Volltext bestellen