skip to main content
introduction

Introduction to the Special Issue on Modeling and Verification of Discrete Event Systems

Published:01 January 2013Publication History

Abstract

No abstract available.

Index Terms

  1. Introduction to the Special Issue on Modeling and Verification of Discrete Event Systems

                Recommendations

                Comments

                Login options

                Check if you have access through your login credentials or your institution to get full access on this article.

                Sign in

                Full Access

                • Published in

                  cover image ACM Transactions on Embedded Computing Systems
                  ACM Transactions on Embedded Computing Systems  Volume 12, Issue 1
                  Special Issue on Modeling and Verification of Discrete Event Systems
                  January 2013
                  350 pages
                  ISSN:1539-9087
                  EISSN:1558-3465
                  DOI:10.1145/2406336
                  Issue’s Table of Contents

                  Copyright © 2013 ACM

                  Publisher

                  Association for Computing Machinery

                  New York, NY, United States

                  Publication History

                  • Published: 1 January 2013
                  Published in tecs Volume 12, Issue 1

                  Permissions

                  Request permissions about this article.

                  Request Permissions

                  Check for updates

                  Qualifiers

                  • introduction
                  • Research
                  • Refereed
                • Article Metrics

                  • Downloads (Last 12 months)4
                  • Downloads (Last 6 weeks)0

                  Other Metrics

                PDF Format

                View or Download as a PDF file.

                PDF

                eReader

                View online with eReader.

                eReader
                About Cookies On This Site

                We use cookies to ensure that we give you the best experience on our website.

                Learn more

                Got it!