Dies ist eine Übersichtsseite mit Metadaten zu dieser wissenschaftlichen Arbeit. Der vollständige Artikel ist beim Verlag verfügbar.
Model checking
1996·6.878 Zitationen
Volltext beim Verlag öffnen6.878
Zitationen
3
Autoren
1996
Jahr
Abstract
Für dieses Paper ist kein Abstract in der Datenbank hinterlegt.
Abstract beim Verlag einsehenÄhnliche Arbeiten
Autoren
Themen
Formal Methods in VerificationSoftware Testing and Debugging TechniquesModel-Driven Software Engineering Techniques