5. ergonomic of www interface
® ® © 2011 Open Geospatial Consortium, Inc. GeoWeb on Mobile Internet GeoWeb on Mobile Internet George Percivall Chief Architect Open Geospatial Consortium.
CS 290C: Formal Models for Web Software Lecture 3: Verification of Navigation Models with the Spin Model Checker Instructor: Tevfik Bultan.
CS 290C: Formal Models for Web Software Lecture 10: Language Based Modeling and Analysis of Navigation Errors Instructor: Tevfik Bultan.
Verifying navigation models
Introspection-Based Fault Tolerance for Future On-Board Computing Systems Mark L. James and Hans P. Zima Jet Propulsion Laboratory, California Institute.
Contents