Verifying Statecharts with State Invariants. Sekerinski, E. In 13th International Conference on Engineering of Complex Computer Systems (ICECCS 2008), March 31 2008 - April 3 2008, Belfast, Northern Ireland, pages 7–14, 2008.
Verifying Statecharts with State Invariants [link]Paper  doi  bibtex   
@inproceedings{DBLP:conf/iceccs/Sekerinski08,
  author    = {Emil Sekerinski},
  title     = {Verifying Statecharts with State Invariants},
  booktitle = {13th International Conference on Engineering of Complex Computer Systems
               {(ICECCS} 2008), March 31 2008 - April 3 2008, Belfast, Northern Ireland},
  pages     = {7--14},
  year      = {2008},
  crossref  = {DBLP:conf/iceccs/2008},
  url       = {https://doi.org/10.1109/ICECCS.2008.40},
  doi       = {10.1109/ICECCS.2008.40},
  timestamp = {Fri, 26 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/iceccs/Sekerinski08},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

Downloads: 0