Synthesising Modal Transition Systems from Triggered Scenarios

Sibay, G; Braberman, V; Uchitel, S; Kramer, J

doi:https://www.dx.doi.org/10.1109/TSE.2012.62

File(s)

IEEE Transactions on Software Engineering_39_7_2013.pdf (1.03 MB)

Accepted version

Author(s)

Sibay, G

Braberman, V

Uchitel, S

Kramer, J

Type

Journal Article

Date Issued

2013

Citation

IEEE Transactions on Software Engineering, 2013

URI

http://hdl.handle.net/10044/1/14424

DOI

https://www.dx.doi.org/10.1109/TSE.2012.62

ISSN

0098-5589

Publisher

IEEE/ACM

Start Page

975

End Page

1001

Journal / Book Title

IEEE Transactions on Software Engineering

Volume

39

Issue

7

Copyright Statement

© 2013 IEEE. Personal use of this material is permitted. Permission from IEEE must be obtained for all other uses, in any current or future media, including reprinting/republishing this material for advertising or promotional purposes, creating new collective works, for resale or redistribution to servers or lists, or reuse of any copyrighted component of this work in other works.

License URL

http://www.rioxx.net/licenses/all-rights-reserved

Identifier

http://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcApp=PARTNER_APP&SrcAuth=LinksAMR&KeyUT=000321125200006&DestLinkType=FullRecord&DestApp=ALL_WOS&UsrCustomerID=1ba7043ffcc86c417c072aa74d649202

Publication Status

Published