Data.com: Jonathan Jacky
Job: Professor of Arts and Sciences; City: Seattle; Company: University of Washington
The Way of Z: Practical Programming with Formal Methods
bookshop.org
Jonathan Jacky is a research scientist at the University of Washington in Seattle. He is experienced in embedded control systems, safety-critical systems, ... › books › the-way-of-z-practical-...
PROGRAMMED FOR DISASTER Wiley Online Library
nyaspubs.onlinelibrary.wiley.com
by J Jacky · · Cited by 34 — Jonathan Jacky, a research assistant professor in the radiation oncology department at the University of Washington School of Medicine, in Seattle, is designing ... › doi › j
Model-based testing without a model - Information Systems ...
isis.poly.edu
Jonathan Jacky. University of Washington. Seattle, Washington USA. Abstract. Despite widespread OS, network, and hardware hetero- geneity, there has been a ...
How to draw irregular radiation beams in 3-D treatment plans ...
www.sciencedirect.com
bio1 Jonathan Jacky received the B.S. degree from the California Institute of Technology and the Ph.D. degree in Physiology from the University of Washington.
Model-Based Testing with Spec# | SpringerLink
link.springer.com
Model-Based Testing with Spec#. Authors; Authors and affiliations. Jonathan Jacky. Jonathan Jacky University of WashingtonSeattleUSA. Conference ...
All web results to the name "Jonathan Jacky"
Jonathan Jacky's research works | University of Washington ...
www.researchgate.net
› Jonathan-Jacky
Facilities - UW Radiation Oncology - University of Washington
radiationoncology.uw.edu
Jonathan Jacky, Ph.D. Research Engineer. Molecular Radiotherapy Research Laboratory NE Northlake PL Seattle, WA Director, Scott ... › research › facilities
Formal specification for a clinical cyclotron control system
www.academia.edu
Formal Speci cations for a Clinical Cyclotron Control System Jonathan Jacky Department of Radiation Oncology RC-08 University of Washington Seattle, Washington ... › Formal_specification_for_...
PyModel: Model-based testing in Python - SciPy Conferences
conference.scipy.org
Jonathan Jacky University of Washington. Abstract. In unit testing, the programmer codes the test cases, and also codes assertions that check whether each ... › scipy2011 › jacky
University of Washington Clinical Neutron Facility
aip.scitation.org
by GE Laramore · · Cited by 4 — George E. Laramore, Robert Emery, David Reid, Stefani Banerian, Ira Kalet, Jonathan Jacky, and Ruedi Risler. more...View Affiliations. › doi
The Way of Z
staff.washington.edu
The Way of Z Practical Programming with Formal Methods Jonathan Jacky University of Washington. The Way of Z: Practical Programming with Formal Methods
Jonathan Jacky · OverDrive (Rakuten OverDrive): eBooks, audiobooks...
www.overdrive.com
Jonathan Jacky is a research scientist at the University of Washington in Seattle. He is experienced in embedded control systems, safety-critical systems,...
Jonathan Jacky Bibliography
staff.washington.edu
Jonathan Jacky. University of Washington Orthopaedics and Sports Medicine
Z notation examples
staff.washington.edu
Jonathan Jacky / Department of Radiation Oncology Box University of Washington / Seattle, Washington USA Tel (206) Fax (206) …
Fatal Dose - Radiation Deaths linked to AECL Computer Errors
ccnr.org
FATAL DOSE. Radiation Deaths linked to AECL Computer Errors. In a Canadian-built radiation-treatment device began ... Jonathan Jacky is a research scientist who has been developing software for a computer-controlled radiation machine at the University of Washington's School of Medicine in Seattle. In a essay for The Sciences, he wrote ...
The RISKS Digest Volume 9 Issue 12
catless.ncl.ac.uk
Jonathan Jacky, University of Washington &.WASHINGTON.EDU>. Thu, 17 Aug :21:56 PDT Here are excerpts from ...
Related search requests for Jonathan Jacky
Mark Moriconi Wolfram Schulte |
Person "Jacky" (1) Forename "Jonathan" (50041) Name "Jacky" (457) |
sorted by relevance / date