Add to ORKGThis paper summarises, in tabular form, the results of a wide-ranging survey of specification languages suited to formally describing distributed real-time systems. The languages are characterised in terms of their overall modelling technique, specific features for modelling concurrency and real-time concepts, and their suitability for formal timing analysis. Based on this survey some directions are indicated for future work. 1
There are no proficient formal tools available till now for specifying and analyzing the timing prop...
Although a large number of formal methods have been reported in the literature, most of them are app...
Although a large number of formal methods have been reported in the literature, most of them are app...
In this paper we propose a method for extending programming languages that enables the specification...
An important issue in real-time computing is the development of a usable and yet abstract computatio...
In this paper we propose a method for extending programming languages that enables the specification...
An important issue in real-time computing is the development of a usable and yet abstract computatio...
For many distributed applications, it is not sufficient for programs to be logically correct. In add...
This paper presents language constructs for the expression of timing and concurrency requirements in...
Specification of real-time behavior of a system requires a significantly different approach compared...
Specification of real-time behavior of a system requires a significantly different approach compared...
RTC: Language Support For Real-Time Concurrency This paper presents language constructs for the expr...
For many real-time applications, parallel computers offer a natural computing platform. However, ver...
There are no proficient formal tools available till now for specifying and analyzing the timing prop...
In this paper, we discuss the issues and challenges that lie in the specification, development, and ...
There are no proficient formal tools available till now for specifying and analyzing the timing prop...
Although a large number of formal methods have been reported in the literature, most of them are app...
Although a large number of formal methods have been reported in the literature, most of them are app...
In this paper we propose a method for extending programming languages that enables the specification...
An important issue in real-time computing is the development of a usable and yet abstract computatio...
In this paper we propose a method for extending programming languages that enables the specification...
An important issue in real-time computing is the development of a usable and yet abstract computatio...
For many distributed applications, it is not sufficient for programs to be logically correct. In add...
This paper presents language constructs for the expression of timing and concurrency requirements in...
Specification of real-time behavior of a system requires a significantly different approach compared...
Specification of real-time behavior of a system requires a significantly different approach compared...
RTC: Language Support For Real-Time Concurrency This paper presents language constructs for the expr...
For many real-time applications, parallel computers offer a natural computing platform. However, ver...
There are no proficient formal tools available till now for specifying and analyzing the timing prop...
In this paper, we discuss the issues and challenges that lie in the specification, development, and ...
There are no proficient formal tools available till now for specifying and analyzing the timing prop...
Although a large number of formal methods have been reported in the literature, most of them are app...
Although a large number of formal methods have been reported in the literature, most of them are app...