- search hit 1 of 1
Automated Derivation of ILP Implementations from SDL Specifications
Author: | Sven Twarok, Peter LangendörferGND, Hartmut KönigGND |
---|---|
ISBN: | 0-7923-7470-3 |
Title of the source (English): | Formal techniques for networked and distributed systems, FORTE 2001, IFIP TC6/WG6.1 - 21st International Conference on Formal Techniques for Networked and Distributed Systems, August 28 - 31, 2001, Cheju Island, Korea |
Publisher: | Kluwer |
Place of publication: | Boston [u.a.] |
Editor: | Myungchul Kim |
Document Type: | Conference Proceeding |
Language: | English |
Year of publication: | 2001 |
First Page: | 3 |
Last Page: | 18 |
Faculty/Chair: | Fakultät 1 MINT - Mathematik, Informatik, Physik, Elektro- und Informationstechnik / FG Rechnernetze und Kommunikationssysteme |
Institution name at the time of publication: | Fakultät für Mathematik, Naturwissenschaften und Informatik (eBTU) / LS Rechnernetze und Kommunikationssysteme |