Παρακολούθηση
Artur Oliveira Gomes
Artur Oliveira Gomes
Lecturer in Computer Science, Universidade Federal do Mato Grosso do Sul
Η διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα ufms.br
Τίτλος
Παρατίθεται από
Παρατίθεται από
Έτος
Formal specification of a cardiac pacing system
AO Gomes, MVM Oliveira
FM 2009: Formal Methods: Second World Congress, Eindhoven, The Netherlands …, 2009
642009
Formal development of a cardiac pacemaker: from specification to code
AO Gomes, MVM Oliveira
Formal Methods: Foundations and Applications: 13th Brazilian Symposium on …, 2011
242011
Modelling the Haemodialysis Machine with Circus
AO Gomes, A Butterfield
Abstract State Machines, Alloy, B, TLA, VDM, and Z: 5th International …, 2016
172016
Formal Specification of the ARINC 653 Architecture Using Circus
A Oliveira Gomes
University of York, 2012
152012
Circus2CSP: A Tool for Model-Checking Circus Using FDR
AO Gomes, A Butterfield
International Symposium on Formal Methods, 235-242, 2019
12019
Towards a Model-Checker for Circus
AO Gomes, A Butterfield
Formal Methods–The Next 30 Years: Third World Congress, FM 2019, Porto …, 2019
12019
Model-checking circus with FDR using Circus2CSP
AO Gomes
Ph. D. thesis, Trinity College Dublin, 2019
12019
A Verified Translation from Circus to CSPM
AO Gomes
Δεν είναι δυνατή η εκτέλεση της ενέργειας από το σύστημα αυτή τη στιγμή. Προσπαθήστε ξανά αργότερα.
Άρθρα 1–8