Implementation Independent Profiling of SDL Specifications
Author: | Peter LangendörferGND, Martin Lehmann |
---|---|
Document Type: | Scientific journal article not peer-reviewed |
Language: | English |
Year of publication: | 2005 |
Quelle aus UBICO: | Proceedings / Software Engineering, 155, 2005 |
Faculty/Chair: | Fakultät 1 MINT - Mathematik, Informatik, Physik, Elektro- und Informationstechnik / FG Systeme |
Institution name at the time of publication: | Fakultät für Mathematik, Naturwissenschaften und Informatik (eBTU) / LS Systeme |