3713 search results - page 47 / 743 » Constructing a Calculus of Programs |
CHARME
2001
Springer
15 years 1 months ago
2001
Springer
In this paper we present a syntactical approach for deriving real-time programs from a formal specification of the requirements of real-time systems. The main idea of our approach ...
WOLLIC
2009
Springer
15 years 4 months ago
2009
Springer
IFM
2009
Springer
15 years 4 months ago
2009
Springer
KR
2010
Springer
15 years 2 months ago
2010
Springer
GG
2010
Springer
14 years 10 months ago
2010
Springer
el of abstraction). Refereed Conference and Workshop Papers