Juan Antonio de la Puente. Real-Time Object-Oriented Design and Formal Methods. Real-Time Systems, 18(1):79-83, 2000.
@article{Puente00, title = {Real-Time Object-Oriented Design and Formal Methods}, author = {Juan Antonio de la Puente}, year = {2000}, tags = {meta-model, Meta-Environment, design, meta-objects}, researchr = {https://researchr.org/publication/Puente00}, cites = {0}, citedby = {0}, journal = {Real-Time Systems}, volume = {18}, number = {1}, pages = {79-83}, }