Jump to main content

yr 〜
yr

Search results 4

Rule groupings [microform] : a software engineering approach towards verification of expert systems / Mala Mehrotra (NASA contractor report ; 4372)

Rule groupings [microform] : a software engineering approach towards verification of expert systems / Mala Mehrotra (NASA contractor report ; 4372)
Microform図書
1991<YCA-NAS 1.26:4372>
National Diet Library
  • Subject HeadingExpert systems (Computer science) -- Verification

Reactive systems : modelling, specification and verification : hbk

Reactive systems : modelling, specification and verification : hbk
Paper図書
Luca Aceto ... [et al.]Cambridge University Pressc2007
Other Libraries in Japan
  • Subject Heading... -- Validation Expert systems (Computer science) -- Verification System design -- Mathematical...
  • Subject Heading (ID)... -- Validation Expert systems (Computer science) -- Verification System design -- Mathematical...

Computer-aided verification of coordinating processes : the automata-theoretic approach

Computer-aided verification of coordinating processes : the automata-theoretic approach
Paper図書
Robert P. KurshanPrinceton University Pressc1994
Other Libraries in Japan
  • Subject Heading...nal complexity Expert systems (Computer science) -- Verification System design
  • Subject Heading (ID)...nal complexity Expert systems (Computer science) -- Verification System design

Validating and verifying knowledge-based systems : case : microfiche

Validating and verifying knowledge-based systems : case : microfiche
Paper図書
[compiled by] Uma G. GuptaIEEE Computer Society Pressc1991
Other Libraries in Japan
  • Subject HeadingExpert systems (Computer science) -- Validation Expert systems (Computer science) -- Verification
  • Subject Heading (ID)Expert systems (Computer science) -- Validation Expert systems (Computer science) -- Verification

Reached to the end of result.

RSS