A New UML Profile for Real-Time System Formal Design and Validation

Ludovic Apvrille, Pierre de Saqui-Sannes, Christophe Lohr, Patrick Sénac, Jean-Pierre Courtiat. A New UML Profile for Real-Time System Formal Design and Validation. In Martin Gogolla, Cris Kobryn, editors, «UML» 2001 - The Unified Modeling Language, Modeling Languages, Concepts, and Tools, 4th International Conference, Toronto, Canada, October 1-5, 2001, Proceedings. Volume 2185 of Lecture Notes in Computer Science, pages 287-301, Springer, 2001. [doi]

@inproceedings{ApvrilleSLSC01,
  title = {A New UML Profile for Real-Time System Formal Design and Validation},
  author = {Ludovic Apvrille and Pierre de Saqui-Sannes and Christophe Lohr and Patrick Sénac and Jean-Pierre Courtiat},
  year = {2001},
  url = {http://link.springer.de/link/service/series/0558/bibs/2185/21850287.htm},
  tags = {UML, design},
  researchr = {https://researchr.org/publication/ApvrilleSLSC01},
  cites = {0},
  citedby = {0},
  pages = {287-301},
  booktitle = {«UML» 2001 - The Unified Modeling Language, Modeling Languages, Concepts, and Tools, 4th International Conference, Toronto, Canada, October 1-5, 2001, Proceedings},
  editor = {Martin Gogolla and Cris Kobryn},
  volume = {2185},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-42667-1},
}