Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

9

ICRA
2000
IEEE

favoriteEmaildiscussreport

83views Robotics» more ICRA 2000»

Using Model Checking to Guarantee Safety in Automatically-Synthesized Real-Time Controllers

13 years 9 months ago

Using Model Checking to Guarantee Safety in Automatically-Synthesized Real-Time Controllers

Download musliner.com

David J. Musliner, Robert P. Goldman, Michael J. S

Real-time Traffic

ICRA 2000 | Robotics |

claim paper

Related Content

» The SystemLevel Simplex Architecture for Improved RealTime Embedded System Safety

» Model Checking Timed Systems with Priorities

» Verification of a SafetyCritical Railway Interlocking System with RealTime Constraints

» Incremental Verification for OntheFly Controller Synthesis

» Exploring ModelBased Development for the Verification of RealTime Java Code

» Schedulability and Compatibility of Real Time Asynchronous Objects

» System Safety Requirements as Control Structures

» RheoStat RealTime Risk Management

» FPGA based tester tool for hybrid realtime systems

Post Info
More Details (n/a)

Added	31 Jul 2010
Updated	31 Jul 2010
Type	Conference
Year	2000
Where	ICRA
Authors	David J. Musliner, Robert P. Goldman, Michael J. S. Pelican

Comments (0)