Strategic level mission control - an evaluation of CORAL and PROLOG implementations for mission control specifications

Proceedings of the IEEE Symposium on Autonomous Underwater Vehicle Technology

Volumn , Issue , 1996, Pages 125-132

  Healey, A J ^a   Marco, D B ^a   Oliveira, P ^a   Pascoal, A ^a   Silva, V ^a   Silvestre, C ^a  

^a NAVAL POSTGRADUATE SCHOOL   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER NETWORKS; COMPUTER OPERATING SYSTEMS; COMPUTER PROGRAMMING; COMPUTER SOFTWARE; GRAPHICAL USER INTERFACES; KNOWLEDGE BASED SYSTEMS; PETRI NETS; REAL TIME SYSTEMS;

MISSION CONTROL; REAL TIME OPERATING SYSTEMS;

UNDERWATER EQUIPMENT;

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

References (14)