Rankings
Publications
Search Publications
Cited-By Search
Sources
Publishers
Scholars
Scholars
Top Cited Scholars
Organizations
About
Login
Register
Home
Publications
Verifikation digitaler Systeme
Home
Publications
Verifikation digitaler Systeme
Verifikation digitaler Systeme
HE
Hans Eveking
Hans Eveking
Publisher Website
Google Scholar
Add to Library
Cite
Download
Share
Download
1 January 1991
book
Published by
Springer Nature
https://doi.org/10.1007/978-3-322-94684-3
Abstract
No abstract available
Keywords
ARBEIT
ENTWICKLUNG
ENTWURF
MODELLIERUNG
SEMANTIK
STABILITÄT
SYSTEME
TRANSITIONSRELATION
VLSI
VERFAHREN
VERIFIKATION
WERKSTOFF
WERKZEUG
FORMALE SPRACHE
FORMALE SPRACHEN
References
Cited
This publication has 0 references indexed in Scilit:
Scroll to top