posted by user: wimmer || 3501 views || tracked by 2 users: [display]

MBMV 2011 : 14. Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen

FacebookTwitterLinkedInGoogle


Conference Series : Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen
 
Link: http://mbmv2011.offis.de/joomla/
 
When Feb 21, 2011 - Feb 23, 2011
Where Oldenburg, Germany
Submission Deadline Nov 7, 2010
Notification Due Dec 10, 2010
Final Version Due Jan 7, 2011
Categories    verification   modelling
 

Call For Papers

Beiträge zu folgenden oder verwandten Themengebieten werden erbeten:

* Formale und semiformale Spezifikation und Modellierung
* Standards und Erweiterungen von Hardware-Beschreibungssprachen
* Entwurfsmethodik
* Entwurfswiederverwendung (Reuse, IP)
* Syntheseverfahren (Behavioral, RTL)
* Codesign (analog/digital, Hardware/Software)
* Formale Synthese
* Formale Verifikation (Äquivalenz- und Eigenschaftsbeweise)
* Schaltungen und Systeme in sicherheitsrelevanten
* Produkten (Zertifizierung)
* Verifikation nicht funktionaler Eigenschaften
* Simulationsbasierte Verifikation


Related Resources

Romantic Ethics 2022   Romantic Ethics and the ‘Woke’ Romantics (Edited Volume, Anglistik und Englischunterricht)
CAV 2021   33rd International Conference on Computer-Aided Verification
KI-KMU 2020   Workshop on Artificial Intelligence for Small and Medium-Sized Enterprises (Workshop Künstliche Intelligenz für kleine und mittlere Unternehmen)
SIGL 2021   8th International Conference on Signal and Image Processing
MuC 2020   Mensch und Computer
IJCSEA 2020   International Journal of Computer Science, Engineering and Applications
EMoWI 2020   Ethik und Moral in der Wirtschaftsinformatik / Ethics and Morality in Business Informatics
NFM 2021   13th NASA Formal Methods Symposium
COMS 2021   The 12th Workshop on Computational Optimization, Modelling and Optimization
QEST 2021   International Conference on Quantitative Evaluation of SysTems