Simulation and Formal Verification of Real Time Systems: A Case Study

AuthID
P-004-DD9
5
Author(s)
da Silva, JF
·
4
Editor(es)
Zaytoon, J; Ferrier, JL; Cetto, JA; Filipe, J
Tipo de Documento
Proceedings Paper
Year published
2007
Publicado
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, Páginas: 308-313 (6)
Conference
4Th International Conference on Informatics in Control, Automation and Robotics, Date: MAY 09-12, 2007, Location: Angers, FRANCE, Patrocinadores: Inst Syst & Technol Informat, Control & Commun, Univ Angers, Int Federat Automat Control, GDR MACS, CNRS, EEA, Assoc Advancement Artificial Intelligence
Indexing
Publication Identifiers
SCOPUS: 2-s2.0-67649986890
Wos: WOS:000252637200047
Export Publication Metadata
Info
At this moment we don't have any links to full text documens.