Creați-vă propriul profil
Citat de
Toate | Din 2019 | |
---|---|---|
Referințe bibliografice | 877 | 202 |
h-index | 16 | 7 |
i10-index | 25 | 4 |
Acces public
Afișați-le pe toate11 articole
1 articol
disponibile
indisponibile
Pe baza cerințelor privind finanțarea
Coautori
- Jim WoodcockProfessor of Software Engineering, University of YorkAdresă de e-mail confirmată pe york.ac.uk
- Ana CavalcantiUniversity of YorkAdresă de e-mail confirmată pe cs.york.ac.uk
- Martin EmmsNewcastle UniversityAdresă de e-mail confirmată pe newcastle.ac.uk
- Andrius VelykisPhD Student, Newcastle UniversityAdresă de e-mail confirmată pe newcastle.ac.uk
- Andrew ButterfieldComputer Science, Trinity College DublinAdresă de e-mail confirmată pe tcd.ie
- Cliff B JonesProfessor of Computing Science, Newcastle University, UKAdresă de e-mail confirmată pe ncl.ac.uk
- Michael DrinnanTeesside UniversityAdresă de e-mail confirmată pe tees.ac.uk
- José Creissac CamposDepartment of Informatics, University of Minho & HASLab / INESC TECAdresă de e-mail confirmată pe di.uminho.pt
- Michael WhitakerNewcastle UniversityAdresă de e-mail confirmată pe ncl.ac.uk
- Paolo MasciResearch Scientist, Associate Principal, AMA/NASA Langley Research CenterAdresă de e-mail confirmată pe nasa.gov
- Michael HarrisonProfessor of Informatics, Newcastle UniversityAdresă de e-mail confirmată pe ncl.ac.uk
- Paolo ModestiSenior Lecturer in Cybersecurity, Teesside University, UK, EuropeAdresă de e-mail confirmată pe tees.ac.uk
- Costanzo Di MariaResearch Scientist, The Newcastle upon Tyne Hospitals NHS Foundation TrustAdresă de e-mail confirmată pe ncl.ac.uk
- Aad van MoorselProfessor of Computer Science, University of Birmingham, UKAdresă de e-mail confirmată pe bham.ac.uk
- Budi AriefUniversity of KentAdresă de e-mail confirmată pe kent.ac.uk
- Andy WellingsProfessor of Real-Time Systems, RTSRG, University of YorkAdresă de e-mail confirmată pe york.ac.uk
- Paul WatsonProfessor of Computer Science, Newcastle UniversityAdresă de e-mail confirmată pe ncl.ac.uk
- Mark UttingThe University of QueenslandAdresă de e-mail confirmată pe uq.edu.au
- Tim MillerSchool of Electrical Engineering and Computer Science, The University of QueenslandAdresă de e-mail confirmată pe uq.edu.au
- Jan Tobias MuehlbergResearcher in Computer Science, Universite Libre Bruxelles & KU Leuven, BelgiumAdresă de e-mail confirmată pe ulb.be
Urmăriți
Leo Freitas
Senior Lecturer in Formal Methods and Tools, School of Computing Science, Newcastle University, UK
Adresă de e-mail confirmată pe newcastle.ac.uk