REAL_TIME
Recently Added Items
| Title | Added By | Updated On |
|---|---|---|
| A Theory of Communicating Sequential Processes | TEMPS_REEL | Jan 14, 2014 10:11:29 PM |
| The Synchronous Programming Language ESTEREL and its Mathematical Semantics | TEMPS_REEL | Jan 14, 2014 9:43:43 PM |
| Fundamental Design Problems of Distributed Systems for Hard-Real-Time Environment | TEMPS_REEL | Jan 14, 2014 3:44:50 PM |
| What good is temporal logic ? | TEMPS_REEL | Jan 14, 2014 2:42:39 PM |
| Specifying Concurrent Program Modules | TEMPS_REEL | Jan 13, 2014 1:04:22 PM |
| Automatic Verification Of Finite State Concurrent Systems Using Temporal Logic Specifications: A Practical Approach | TEMPS_REEL | Dec 20, 2013 9:08:39 PM |
| Seven Basic Principles of Software Engineering | TEMPS_REEL | Dec 20, 2013 9:07:52 PM |
| Maintaining Knowledge about Temporal Intervals | TEMPS_REEL | Dec 20, 2013 9:06:56 PM |
| Proving Liveness Properties of Concurrent Programs | TEMPS_REEL | Dec 20, 2013 9:03:29 PM |
| The Byzantine Generals Problem | TEMPS_REEL | Dec 20, 2013 9:02:39 PM |
See all 97 items for this group in the Group Library.
Recent Group Discussion
No recent group discussions.
Embeded real-time development bibliography, including many aspects such as design methods, modelling formalisms, operating system development, use-case explanations, scheduling techniques, programming langages, and so on.
- Owner: Jean-Pierre ELLOY
- Registered: 2013-12-15
- Type: Public
- Membership: Closed
Members (2)
