Skapa en profil
Offentlig åtkomst
Visa alla11 artiklar
1 artikel
tillgänglig
inte tillgänglig
Enligt krav från finansiärer
Medförfattare
- Jim WoodcockProfessor of Software Engineering, University of YorkVerifierad e-postadress på york.ac.uk
- Ana CavalcantiUniversity of YorkVerifierad e-postadress på cs.york.ac.uk
- Martin EmmsNewcastle UniversityVerifierad e-postadress på newcastle.ac.uk
- Andrius VelykisPhD Student, Newcastle UniversityVerifierad e-postadress på newcastle.ac.uk
- Andrew ButterfieldComputer Science, Trinity College DublinVerifierad e-postadress på tcd.ie
- Cliff B JonesProfessor of Computing Science, Newcastle University, UKVerifierad e-postadress på ncl.ac.uk
- Michael DrinnanTeesside UniversityVerifierad e-postadress på tees.ac.uk
- José Creissac CamposDepartment of Informatics, University of Minho & HASLab / INESC TECVerifierad e-postadress på di.uminho.pt
- Michael WhitakerNewcastle UniversityVerifierad e-postadress på ncl.ac.uk
- Paolo MasciResearch Scientist, Associate Principal, AMA/NASA Langley Research CenterVerifierad e-postadress på nasa.gov
- Michael HarrisonProfessor of Informatics, Newcastle UniversityVerifierad e-postadress på ncl.ac.uk
- Paolo ModestiSenior Lecturer in Cybersecurity, Teesside University, UK, EuropeVerifierad e-postadress på tees.ac.uk
- Costanzo Di MariaResearch Scientist, The Newcastle upon Tyne Hospitals NHS Foundation TrustVerifierad e-postadress på ncl.ac.uk
- Aad van MoorselProfessor of Computer Science, University of Birmingham, UKVerifierad e-postadress på bham.ac.uk
- Budi AriefUniversity of KentVerifierad e-postadress på kent.ac.uk
- Andy WellingsProfessor of Real-Time Systems, RTSRG, University of YorkVerifierad e-postadress på york.ac.uk
- Paul WatsonProfessor of Computer Science, Newcastle UniversityVerifierad e-postadress på ncl.ac.uk
- Mark UttingThe University of QueenslandVerifierad e-postadress på uq.edu.au
- Tim MillerSchool of Electrical Engineering and Computer Science, The University of QueenslandVerifierad e-postadress på uq.edu.au
- Jan Tobias MuehlbergResearcher in Computer Science, Universite Libre Bruxelles & KU Leuven, BelgiumVerifierad e-postadress på ulb.be
Följ
Leo Freitas
Senior Lecturer in Formal Methods and Tools, School of Computing Science, Newcastle University, UK
Verifierad e-postadress på newcastle.ac.uk