Verification of Behavioral Domain-Specific Languages with a Model Checker
Autor(en): | Ammann, Christian | Stichwörter: | Domain-specific language; Domain (mathematical analysis); Optics; Mathematics; Telecommunications; Focus (optics); Physics; Computer science; Programming language; Mathematical analysis; Digital subscriber line; Model checking; Software; Executable; Modeling language; Software engineering | Erscheinungsdatum: | 2012 | Herausgeber: | Springer Science+Business Media | Enthalten in: | Advances in intelligent and soft computing | Startseite: | 779 | Seitenende: | 782 | ISSN: | 1867-5662 | DOI: | https://doi.org/10.1007/978-3-642-27329-2_107 |
Zur Langanzeige
Seitenaufrufe
1
Letzte Woche
0
0
Letzter Monat
0
0
geprüft am 10.06.2024