메뉴 건너뛰기




Volumn 2002-January, Issue , 2002, Pages 201-208

Enhancing system validation with behavioural types

Author keywords

Automata; Automatic control; Computer architecture; Computer science; Control systems; Dynamic programming; Hardware; Logic programming; Specification languages; Testing

Indexed keywords

AUTOMATION; COMPUTATIONAL LINGUISTICS; COMPUTER ARCHITECTURE; COMPUTER CIRCUITS; COMPUTER CONTROL SYSTEMS; COMPUTER HARDWARE; COMPUTER PROGRAMMING; COMPUTER PROGRAMMING LANGUAGES; COMPUTER SCIENCE; CONTROL; CONTROL SYSTEMS; DYNAMIC PROGRAMMING; LOGIC PROGRAMMING; PATTERN MATCHING; RECONFIGURABLE HARDWARE; SEMANTICS; SPECIFICATION LANGUAGES; SPECIFICATIONS; SYSTEMS ENGINEERING; TESTING;

EID: 84952782108     PISSN: 15302059     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/HASE.2002.1173124     Document Type: Conference Paper
Times cited : (7)

References (14)
  • 5
    • 0026172023 scopus 로고
    • Specification of fault-tolerant system issues by predicate/transition nets and regular expressions - Approach and case study
    • F. Belli, K.-E. Grosspietsch: Specification of fault-tolerant system issues by predicate/transition nets and regular expressions - approach and case study, IEEE Transactions on software engineering, Vol.17, No.6, 1991.
    • (1991) IEEE Transactions on Software Engineering , vol.17 , Issue.6
    • Belli, F.1    Grosspietsch, K.-E.2
  • 6
    • 0020849983 scopus 로고
    • A mathematical framework for the investigation of testing
    • J. Gourley: A mathematical framework for the investigation of testing, IEEE Transactions on software engineering, Vol.9, No.6, 1983.
    • (1983) IEEE Transactions on Software Engineering , vol.9 , Issue.6
    • Gourley, J.1
  • 9
    • 0016506990 scopus 로고
    • Methodology for the generation of program test data
    • W.E. Howden: Methodology for the generation of program test data, IEEE Transactions on computers, Vol.24, No.5, 1975.
    • (1975) IEEE Transactions on Computers , vol.24 , Issue.5
    • Howden, W.E.1


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.