共 50 条
- [1] Methodology for formulating, formalizing, validating, and evaluating a real-time process control advisor IIE Transactions (Institute of Industrial Engineers), 1998, 30 (03): : 235 - 245
- [5] Formalizing real-time scheduling as program refinement TRANSFORMATION-BASED REACTIVE SYSTEMS DEVELOPMENT, 1997, 1231 : 295 - 309
- [6] Formalizing Real-Time Embedded System into Promela 2015 4TH INTERNATIONAL CONFERENCE ON MECHANICS AND CONTROL ENGINEERING (ICMCE 2015), 2015, 35
- [10] ACANALYST - A REAL-TIME ADVISOR FOR ATOMIC-ABSORPTION SPECTROMETER CONTROL AND ANALYSIS ABSTRACTS OF PAPERS OF THE AMERICAN CHEMICAL SOCIETY, 1988, 196 : 56 - COMP