Specification and verification of the CO4 distributed knowledge system using LOTOS

Proceedings of the IEEE International Automated Software Engineering Conference, ASE

Volumn , Issue , 1997, Pages 63-70

  Pecheur, Charles ^a  

^a INRIA RHÔNE ALPES   (France)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER AIDED SOFTWARE ENGINEERING; COMPUTER HARDWARE DESCRIPTION LANGUAGES; COMPUTER SYSTEMS PROGRAMMING; DISTRIBUTED COMPUTER SYSTEMS; ERROR CORRECTION; FORMAL LOGIC; NETWORK PROTOCOLS;

LOTOS PROGRAMMING LANGUAGE;

KNOWLEDGE BASED SYSTEMS;

EID: 0031337722     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (23)