41
TITLE: Simulation and formal verification of real time systems: A case study
AUTHORS: Eurico Seabra ; Jose Machado ; Jaime Ferreira da Silva; Filomena O Soares ; Celina P Leao ;
PUBLISHED: 2007, SOURCE: 4th International Conference on Informatics in Control, Automation and Robotics in ICINCO 2007: PROCEEDINGS OF THE FOURTH INTERNATIONAL CONFERENCE ON INFORMATICS IN CONTROL, AUTOMATION AND ROBOTICS, VOL SPSMC: SIGNAL PROCESSING, SYSTEMS MODELING AND CONTROL, VOLUME: SPSMC
INDEXED IN: Scopus WOS
42
TITLE: Simulation of true moving bed adsorptive reactor: Detailed particle model and linear driving force approximations  Full Text
AUTHORS: Pedro Sa Gomes; Celina P Leao ; Alirio E Rodrigues ;
PUBLISHED: 2007, SOURCE: CHEMICAL ENGINEERING SCIENCE, VOLUME: 62, ISSUE: 4
INDEXED IN: Scopus WOS CrossRef
43
TITLE: Transient and steady-state models for simulated moving bed processes: numerical solutions  Full Text
AUTHORS: Leao, CP ; Rodrigues, AE ;
PUBLISHED: 2004, SOURCE: COMPUTERS & CHEMICAL ENGINEERING, VOLUME: 28, ISSUE: 9
INDEXED IN: Scopus WOS CrossRef
44
TITLE: Web-aided control studies
AUTHORS: Moreira, A; Mota, A; Leao, CP ; Pimenta, P; Soares, FO ;
PUBLISHED: 2003, SOURCE: Proceedings of the Seventh IASTED International Conference on Internet and Multimedia Systems and Applications in Proceedings of the IASTED International Conference on Internet and Multimedia Systems and Applications, VOLUME: 7
INDEXED IN: Scopus
IN MY: ORCID
45
TITLE: Simulated moving bed adsorptive reactor
AUTHORS: Leao, CP ; Pais, LS; Santos, M; Rodrigues, AE ;
PUBLISHED: 1997, SOURCE: 2nd International Conference on Process Intensification in Practice in 2ND INTERNATIONAL CONFERENCE ON PROCESS INTENSIFICATION IN PRACTICE: APPLICATIONS AND OPPORTUNITIES, ISSUE: 28
INDEXED IN: WOS
Page 5 of 5. Total results: 45.