posted by user: wimmer || 3613 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

KI-KMU 2021   KI-KMU 2021 : 2. Workshop on Artificial Intelligence for Small and Medium-Sized Enterprises (2. Workshop Künstliche Intelligenz für kleine und mittlere Unternehmen)
Solar & Storage Integration Workshop 2021   11th International Workshop on Integration of Solar Power & Storage into Power Systems
Gam-R 2021   Gam-R – Gamification Reloaded 4th International Workshop in Conjunction with the Mensch und Computer 2021
IEEE-PSGEC 2021   2021 Power System And Green Energy Conference ( PSGEC 2021)
KUI 2021   19th ACM Conference Culture and Computer Science – Physical und Virtual Spaces
IJCCMS 2021   International Journal of Chaos, Control, Modelling and Simulation
Romantic Ethics 2022   Romantic Ethics and the ‘Woke’ Romantics (Edited Volume, Anglistik und Englischunterricht)
IJMSA 2021   International Journal of Modelling, Simulation and Applications
V&V track@QUATIC 2021   ICT Verification and Validation Track: International Conference on the Quality of Information and Communications Technology
BASS 2021   3rd International Workshop on Behavioral Authentication for System Security