posted by user: wimmer || 3579 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)
CTCM 2021   7th International Conference of Control Theory and Computer Modelling
IJCSEA 2021   International Journal of Computer Science, Engineering and Applications
QEST 2021   International Conference on Quantitative Evaluation of SysTems
Solar & Storage Integration Workshop 2021   11th International Workshop on Integration of Solar Power & Storage into Power Systems
IEEE-PSGEC 2021   2021 Power System And Green Energy Conference ( PSGEC 2021)
IJCCMS 2021   International Journal of Chaos, Control, Modelling and Simulation
ICE 2021   14th Interaction and Concurrency Experience
CEESD-Scopus 2021   6th International Conference on Environmental Engineering and Sustainable Development (CEESD 2021)