Архитектура промышленного интернета
MADES: A SysML/MARTE high level methodology for real-time and embedded systems
Some Trends in High-level Synthesis Research Tools Tanguy Risset Compsys, Lip, ENS-Lyon .
François Fages Les Houches, avril 2007 Formal Verification of Dynamical Models and Application to Cell Cycle Control François Fages, Sylvain Soliman Constraint.
Adaptive guidance model based similarity for software process development programming
200711 R E S T Apache Con
AHB Bus Tracer
Perfect Code
Assic 4th Lecture
Assic 5th Lecture
Agile DDD Genuin Objects
Fact and Fiction: Infosheet on Israel's provision of water to Gaza