REDLIB 8

लाइसेंस: मुफ्त ‎फ़ाइल आकार: N/A
‎उपयोगकर्ताओं की रेटिंग: 3.0/5 - ‎1 ‎वोट

करीबन REDLIB

* सीआरडी (घड़ी-प्रतिबंध आरेख) प्रौद्योगिकी के साथ सी में घने समय मॉडल के साथ वास्तविक समय प्रणाली के लिए मॉडल-चेकिंग/सिमुलेशन-चेकिंग लाइब्रेरी। * एचआरडी (हाइब्रिड-प्रतिबंध आरेख) टेक्नोल के साथ सी में रैखिक-हाइब्रिड सिस्टम के लिए पैरामेट्रिक विश्लेषण पुस्तकालय