Model Checking for Managers-Reference-Cited by-同舟云学术

Model Checking for Managers

Published:1999 Issue: Volume: Page:92-107
ISSN:0302-9743
Container-title:Theoretical and Practical Aspects of SPIN Model Checking
language:
Short-container-title:

Author:

Janssen Wil,Mateescu Radu,Mauw Sjouke,Fennema Peter,van der Stappen Petra

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-48234-2_7

Reference11 articles.

1. Caesar/Aldebaran Development Package homepage. Available at: http://www.inrialpes.fr/vasy/cadp.html

2. Property Specification Patterns for Finite-state Verification, ia]Matthew B. Dwyer, George S. Avrunin and James C. Corbett. In: Proceedings of the 2nd Workshop on Formal Methods in Software Practice, March, 1998.

3. Lect Notes Comput Sci;H. Eertink,1999

4. Franken, H.M. and W. Janssen, Get a grip on changing business processes, Knowledge & Process Management (Wiley), Vol. 5, No.4, pp.208–215. December 1998.

5. Garavel, H., OPEN/CAESAR: An open software architecture for verification, simulation and testing. INRIA Rapport de recherche n3352, January 1998.

Cited by 18 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Processing of Design and Manufacturing Workflows in a Large Enterprise;Computational Science and Its Applications – ICCSA 2018;2018

2. Credibility in Modeling and Simulation;Simulation and Modeling of Systems of Systems;2013-03-07

3. Model Integration for Formal Qualification of Timing-Aware Software Data Acquisition Components;Model-Driven Engineering for Distributed Real-Time Systems;2013-03-05

4. Formal Methods to Improve Public Administration Business Processes;RAIRO - Theoretical Informatics and Applications;2012-02-21

5. Analyzing Separation of Duties Constraints with a Probabilistic Model Checker;Business Information Systems Workshops;2011