skip to main content
review-article

Reactive Systems: Modelling, Specification and Verification; is written by L. Aceto, et al; and published by Cambridge University Press; distributed by Cambridge University Press; © 2007, (hardback), ISBN 978-0-521-87546-2, pp. 300

Published: 20 July 2010 Publication History

Abstract

No abstract available.

Cited By

View all
  • (2018)A quantitative verification framework of SysML activity diagrams under time constraintsExpert Systems with Applications: An International Journal10.1016/j.eswa.2015.05.04942:21(7493-7510)Online publication date: 29-Dec-2018
  • (2013)A Unifying Approach to Decide Relations for Timed Automata and their Game CharacterizationElectronic Proceedings in Theoretical Computer Science10.4204/EPTCS.120.5120(47-62)Online publication date: 26-Jul-2013

Comments

Information & Contributors

Information

Published In

cover image ACM SIGSOFT Software Engineering Notes
ACM SIGSOFT Software Engineering Notes  Volume 35, Issue 4
July 2010
102 pages
ISSN:0163-5948
DOI:10.1145/1811226
Issue’s Table of Contents

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 20 July 2010
Published in SIGSOFT Volume 35, Issue 4

Check for updates

Qualifiers

  • Review-article

Contributors

Other Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

  • Downloads (Last 12 months)15
  • Downloads (Last 6 weeks)0
Reflects downloads up to 15 Feb 2025

Other Metrics

Citations

Cited By

View all
  • (2018)A quantitative verification framework of SysML activity diagrams under time constraintsExpert Systems with Applications: An International Journal10.1016/j.eswa.2015.05.04942:21(7493-7510)Online publication date: 29-Dec-2018
  • (2013)A Unifying Approach to Decide Relations for Timed Automata and their Game CharacterizationElectronic Proceedings in Theoretical Computer Science10.4204/EPTCS.120.5120(47-62)Online publication date: 26-Jul-2013

View Options

Login options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Figures

Tables

Media

Share

Share

Share this Publication link

Share on social media