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