Verification of Hybrid Systems: Formalization and Proof Rules in PVS

Erika Ábrahám-Mumm, Martin Steffen, Ulrich Hannemann. Verification of Hybrid Systems: Formalization and Proof Rules in PVS. In 7th International Conference on Engineering of Complex Computer Systems (ICECCS 2001), 11-13 June 2001, Skövde, Sweden. pages 48-57, IEEE Computer Society, 2001. [doi]

@inproceedings{Abraham-MummSH01,
  title = {Verification of Hybrid Systems: Formalization and Proof Rules in PVS},
  author = {Erika Ábrahám-Mumm and Martin Steffen and Ulrich Hannemann},
  year = {2001},
  url = {http://csdl.computer.org/comp/proceedings/iceccs/2001/1159/00/11590048abs.htm},
  tags = {rule-based, rules},
  researchr = {https://researchr.org/publication/Abraham-MummSH01},
  cites = {0},
  citedby = {0},
  pages = {48-57},
  booktitle = {7th  International Conference on Engineering of Complex Computer Systems (ICECCS 2001), 11-13 June 2001,  Skövde, Sweden},
  publisher = {IEEE Computer Society},
  isbn = {0-7695-1159-7},
}