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

AuthID
P-004-DD9
5
Author(s)
da Silva, JF
·
4
Editor(s)
Zaytoon, J; Ferrier, JL; Cetto, JA; Filipe, J
Document Type
Proceedings Paper
Year published
2007
Published
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, Pages: 308-313 (6)
Conference
4Th International Conference on Informatics in Control, Automation and Robotics, Date: MAY 09-12, 2007, Location: Angers, FRANCE, Sponsors: 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
Marked List
Info
At this moment we don't have any links to full text documens.