On-going works are aiming at develo

On-going works are aiming at developing a library of components models for different kinds of networks and at automating the method; the overall objective of these works is automatic construction of the reduced architecture model, once the property to prove is given

ผลลัพธ์ (ไทย) 1:

ผลงานที่กำลังมีเป้าหมายในการพัฒนาห้องสมุดของรูปแบบชิ้นส่วนที่แตกต่างกันของเครือข่ายและวิธีการที่อัตโนมัติ; วัตถุประสงค์โดยรวมของผลงานเหล่านี้คือการสร้างอัตโนมัติของรูปแบบสถาปัตยกรรมที่ลดลงเมื่อสถานที่ให้บริการที่จะพิสูจน์ว่าจะได้รับ

ผลลัพธ์ (ไทย) 2:

การทำงานจะมุ่งพัฒนาไลบรารีของรูปส่วนประกอบสำหรับชนิดต่าง ๆ ของเครือข่าย และ ที่อัตโนมัติวิธี วัตถุประสงค์โดยรวมของงานเหล่านี้เป็นการก่อสร้างแบบสถาปัตยกรรมลด อัตโนมัติเมื่อกำหนดคุณสมบัติเพื่อพิสูจน์

ผลลัพธ์ (ไทย) 3:

ใช้งานได้บน - กำลังจะมีเป้าหมายในการพัฒนาห้องสมุดของรุ่นคอมโพเนนต์สำหรับชนิดแตกต่างกันของเครือข่ายและการสร้างระบบอัตโนมัติสำหรับวิธีการที่มีวัตถุประสงค์โดยรวมของงานนี้คือการก่อสร้างโดยอัตโนมัติของรุ่นสถาปัตยกรรมลดลงเมื่อเป็นที่พักที่จะพิสูจน์ให้ได้