7 search results - page 2 / 2 » Logic and Syntax-A Personal Perspective |
114
Voted
EMSOFT
2006
Springer
15 years 4 months ago
2006
Springer
Upper bounds on worst-case execution times, which are commonly called WCET, are a prerequisite for validating the temporal correctness of tasks in a real-time system. Due to the e...
107
Voted
EXPERT
2006
15 years 20 days ago
2006
on abstract principles that you can't easily apply in a formal, deductive fashion. So, the favorite tools of logicians and mathematicians, such as firstorder logic, aren'...