A Petri Net based Modeling and Verification Technique for Real-Time Embedded Systems
msra（2001）
摘要
Abstract: EMBEDDED SYSTEMS are used in a wide spectrum of applicationsranging from home appliances and mobile devices to medicalequipment and vehicle controllers. They are typicallycharacterized by their real-time behavior and many of themmust fulfill strict requirements on reliability and correctness.
更多查看译文
关键词
computer science,real time,petri net,embedded system,mobile device,spectrum
AI 理解论文
溯源树
样例
生成溯源树，研究论文发展脉络
Chat Paper
正在生成论文摘要