Verification of timed Chi models using Uppaal

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

    Originele taal-2Engels
    TitelProceedings of the 2nd International Conference on Informatics in Control, Robotics and Automation
    Plaats van productieSpain, Barcelona
    Pagina's486-492
    StatusGepubliceerd - 2005

    Citeer dit

    Bortnik, E., Beek, van, D. A., Mortel - Fronczak, van de, J. M., & Rooda, J. E. (2005). Verification of timed Chi models using Uppaal. In Proceedings of the 2nd International Conference on Informatics in Control, Robotics and Automation (blz. 486-492).