[IEEE 2009 Seventh IEEE International Conference on Software Engineering and Formal Methods - Hanoi, Vietnam (2009.11.23-2009.11.27)] 2009 Seventh IEEE International Conference on Software Engineering and Formal Methods - Behavioral Specification of Reactive Systems Using Stream-Based I/O Tables

✍ Scribed by Hummel, Benjamin; Thyssen, Judith

• Book ID: 111689999
• Publisher: IEEE
• Year: 2009
• Weight: 537 KB
• Volume: 0
• Category: Article
• ISBN: 0769538703
• DOI: 10.1109/sefm.2009.15