Jump to main content

yr 〜
yr

Search results 3

Man-machine interface issues in nuclear power plants : report on a workshop held on January 10-12, 1989 / prepared by J. Debor, R. Swezey

Man-machine interface issues in nuclear power plants : report on a workshop held on January 10-12, 1989 / prepared by J. Debor, R. Swezey
Microform図書
1989<YCA-Y 3.N 88:25/5348>
National Diet Library
  • Subject HeadingExpert systems (Computer science) -- Validation Nuclear power plants -- Desig...

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 HeadingExpert systems (Computer science) -- Validation Expert systems (Computer scie...
  • Subject Heading (ID)Expert systems (Computer science) -- Validation Expert systems (Computer scie...

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 scie...
  • Subject Heading (ID)Expert systems (Computer science) -- Validation Expert systems (Computer scie...

Reached to the end of result.

RSS