{"_id":"g4rWHZykTc4pQQFEF","bibbaseid":"seabra-machado-dasilva-soares-leo-simulationandformalverificationofrealtimesystemsacasestudy-2007","author_short":["Seabra, E.","Machado, J.","da Silva, J. F.","Soares, F. O","Leão, C. P"],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","title":"Simulation and formal verification of real time systems: A case study.","author":[{"propositions":[],"lastnames":["Seabra"],"firstnames":["Eurico"],"suffixes":[]},{"propositions":[],"lastnames":["Machado"],"firstnames":["José"],"suffixes":[]},{"propositions":["da"],"lastnames":["Silva"],"firstnames":["Jaime","Ferreira"],"suffixes":[]},{"propositions":[],"lastnames":["Soares"],"firstnames":["Filomena","O"],"suffixes":[]},{"propositions":[],"lastnames":["Leão"],"firstnames":["Celina","P"],"suffixes":[]}],"booktitle":"ICINCO-SPSMC","pages":"308–313","year":"2007","bibtex":"@inproceedings{seabra2007simulation,\n title={Simulation and formal verification of real time systems: A case study.},\n author={Seabra, Eurico and Machado, Jos{\\'e} and da Silva, Jaime Ferreira and Soares, Filomena O and Le{\\~a}o, Celina P},\n booktitle={ICINCO-SPSMC},\n pages={308--313},\n year={2007}\n}\n\n","author_short":["Seabra, E.","Machado, J.","da Silva, J. F.","Soares, F. O","Leão, C. P"],"key":"seabra2007simulation","id":"seabra2007simulation","bibbaseid":"seabra-machado-dasilva-soares-leo-simulationandformalverificationofrealtimesystemsacasestudy-2007","role":"author","urls":{},"metadata":{"authorlinks":{}},"html":""},"bibtype":"inproceedings","biburl":"https://jmm.di.uminho.pt/wp-content/uploads/2025/06/scholar.bib","dataSources":["8AM3RTP5FSjhY79FT","vEyY22JjsZkW6JeBK"],"keywords":[],"search_terms":["simulation","formal","verification","real","time","systems","case","study","seabra","machado","da silva","soares","leão"],"title":"Simulation and formal verification of real time systems: A case study.","year":2007}