อ่าน 1 นาที
โรมีโอ เอ็มเดคเกอร์
Roméo เป็นสภาพ แวดล้อม เครื่องมือแบบบูรณาการ สำหรับ การสร้างแบบจำลอง การตรวจสอบความถูกต้อง และการตรวจสอบ ระบบแบบ เรียลไทม์ ที่สร้างแบบจำลองเป็น Petri Nets เวลา [ 1 ] หรือ Petri...
โรมีโอ เอ็มเดคเกอร์
| โรเมโอ | |
|---|---|
| นักพัฒนา | LS2N |
| ปล่อย | 2001 |
| เวอร์ชันเสถียร | 3.9.1 / 3 มิถุนายน 2023 |
| เขียนเป็น | C++และGUIในtcl/tk |
| ระบบปฏิบัติการ | ลินุกซ์แมคโอเอสเอ็กซ์ไมโครซอฟต์ วินโดวส์ |
| มีจำหน่ายใน | ภาษาอังกฤษ |
| พิมพ์ | การตรวจสอบแบบจำลอง |
| เว็บไซต์ | https://romeo.ls2n.fr/ |
Roméoเป็นสภาพแวดล้อม เครื่องมือแบบบูรณาการ สำหรับการสร้างแบบจำลองการตรวจสอบความถูกต้อง และการตรวจสอบ ระบบแบบ เรียลไทม์ที่สร้างแบบจำลองเป็น Petri Nets เวลา[ 1 ]หรือ Petri Nets นาฬิกาจับเวลา ซึ่งขยายด้วยพารามิเตอร์[ 2 ]
เครื่องมือนี้ได้รับการพัฒนาโดยกลุ่มระบบเรียลไทม์ที่ ห้องปฏิบัติการ LS2N ( École centrale de Nantes , มหาวิทยาลัยน็องต์ , CNRS ) ในเมือง น็องต์ประเทศฝรั่งเศส
ลิงก์ภายนอก
- หน้าเว็บของโรเมโอ
- หน้าเว็บของห้องปฏิบัติการ LS2N
 | บทความที่เกี่ยวข้องกับวิธีการเชิงรูปธรรมนี้ เป็น บทความย่อคุณสามารถช่วยวิกิพีเดียได้โดยการเพิ่มข้อมูลที่ขาดหายไป |
สรุปเนื้อหา
ข้อมูลสำคัญจากบทความ
ข้อมูลสำคัญเกี่ยวกับ โรมีโอ เอ็มเดคเกอร์
Roméo เป็นสภาพ แวดล้อม เครื่องมือแบบบูรณาการ สำหรับ การสร้างแบบจำลอง การตรวจสอบความถูกต้อง และการตรวจสอบ ระบบแบบ เรียลไทม์ ที่สร้างแบบจำลองเป็น Petri Nets เวลา [ 1 ] หรือ Petri...
ลิงก์ภายนอก
หน้าเว็บของโรเมโอ หน้าเว็บของห้องปฏิบัติการ LS2N บทความที่เกี่ยวข้องกับ วิธีการเชิงรูปธรรม นี้ เป็น บทความย่อคุณสามารถช่วยวิกิพีเดียได้โดยการเพิ่มข้อมูลที่ขาดหายไป วี ที อี ดึงข้อมูลมาจาก " https://en.wikipedia.org/w/index.php?