9 search results - page 2 / 2 » mscs 2000 |
MSCS
2000
13 years 4 months ago
2000
This paper introduces a Hilbert system for lambda calculus called sequent combinators. Sequent combinators address many of the problems of Hilbert systems, which have led to the m...
ICALP
2000
Springer
13 years 8 months ago
2000
Springer
Message Sequence Charts (MSCs) are an attractive visual formalism widely used to capture system requirements during the early design stages in domains such as telecommunication sof...
DSN
2000
IEEE
13 years 9 months ago
2000
IEEE
The DTS (Dependability Test Suite) fault injection tool can be used to (1) obtain fault injection-based evaluation of system reliability, (2) compare the reliability of different ...
SAM
2000
13 years 6 months ago
2000
The development of an MSC based graphical representation of TTCN is part of the ETSI project STF 156 on 'Specification of a Message Sequence Chart/UML format, including valid...