<--- Back to Details
| First Page | Document Content | |
|---|---|---|
 Date: 2015-06-30 09:13:18Constraint programming Mathematical optimization Software engineering Computer programming Constraint automaton Computing Constraint satisfaction problem Constraint satisfaction Constraint Reo Coordination Language Constrained optimization Multi-agent system |
Add to Reading List |
Scientific Report First name / Family name Francesco Santini | Building Models of Real-Time Systems from Application Software JOSEPH SIFAKIS, STAVROS TRIPAKIS, ASSOCIATE MEMBER, IEEE, AND SERGIO YOVINE Invited Paper We present a methodology for building timed models of real-timeDocID: 1qG6E - View Document |
| Scientific Report First name / Family name Francesco SantiniDocID: 1kRrA - View Document |