[PDF] Detailed Design Document - ESROCOS
Jul 31, 2017 · SOFTWARE COMPONENT DESIGN . ... are libraries, white boxes TASTE components . ... Statistical model checking: Present and future. ... (empirical) functions, can be used through the same mechanism (dist="custom" and in ... paradigm is the collaborative multi-project development while plain TASTE.
Address
Tel
Website
Date
|
Product Description
|
Supplier
|
Money
|
Quantity
|
Weight
|
---|
h2020-esrocos's website is h2020-esrocos.eu