Utwórz swój profil
Cytowane przez
Wszystkie | Od 2019 | |
---|---|---|
Cytowania | 171 | 154 |
h-indeks | 6 | 6 |
i10-indeks | 6 | 6 |
Dostęp publiczny
Wyświetl wszystko10 artykułów
3 artykuły
dostępne
niedostępne
Objęte finansowaniem
Współautorzy
- Ana CavalcantiUniversity of YorkZweryfikowany adres z cs.york.ac.uk
- Pedro RibeiroLecturer at the Department of Computer Science, University of YorkZweryfikowany adres z york.ac.uk
- Simon FosterLecturer in Computer Science, University of YorkZweryfikowany adres z york.ac.uk
- Jim WoodcockProfessor of Software Engineering, University of YorkZweryfikowany adres z york.ac.uk
- Alvaro MiyazawaResearch Associate, University of YorkZweryfikowany adres z york.ac.uk
- Gustavo CarvalhoUniversidade Federal de PernambucoZweryfikowany adres z cin.ufpe.br
- Robert HieronsProfessor, The University of SheffieldZweryfikowany adres z sheffield.ac.uk
- Leo FreitasSenior Lecturer in Formal Methods and Tools, School of Computing Science, Newcastle University, UKZweryfikowany adres z newcastle.ac.uk
- Andy WellingsProfessor of Real-Time Systems, RTSRG, University of YorkZweryfikowany adres z york.ac.uk