Mijn eigen profiel maken
Openbare toegang
Alles bekijken11 artikelen
1 artikel
beschikbaar
niet beschikbaar
Op basis van financieringsmachtigingen
Medeauteurs
- Jim WoodcockProfessor of Software Engineering, University of YorkGeverifieerd e-mailadres voor york.ac.uk
- Ana CavalcantiUniversity of YorkGeverifieerd e-mailadres voor cs.york.ac.uk
- Martin EmmsNewcastle UniversityGeverifieerd e-mailadres voor newcastle.ac.uk
- Andrius VelykisPhD Student, Newcastle UniversityGeverifieerd e-mailadres voor newcastle.ac.uk
- Andrew ButterfieldComputer Science, Trinity College DublinGeverifieerd e-mailadres voor tcd.ie
- Cliff B JonesProfessor of Computing Science, Newcastle University, UKGeverifieerd e-mailadres voor ncl.ac.uk
- Michael DrinnanTeesside UniversityGeverifieerd e-mailadres voor tees.ac.uk
- José Creissac CamposDepartment of Informatics, University of Minho & HASLab / INESC TECGeverifieerd e-mailadres voor di.uminho.pt
- Michael WhitakerNewcastle UniversityGeverifieerd e-mailadres voor ncl.ac.uk
- Paolo MasciResearch Scientist, Associate Principal, AMA/NASA Langley Research CenterGeverifieerd e-mailadres voor nasa.gov
- Michael HarrisonProfessor of Informatics, Newcastle UniversityGeverifieerd e-mailadres voor ncl.ac.uk
- Paolo ModestiSenior Lecturer in Cybersecurity, Teesside University, UK, EuropeGeverifieerd e-mailadres voor tees.ac.uk
- Costanzo Di MariaResearch Scientist, The Newcastle upon Tyne Hospitals NHS Foundation TrustGeverifieerd e-mailadres voor ncl.ac.uk
- Aad van MoorselProfessor of Computer Science, University of Birmingham, UKGeverifieerd e-mailadres voor bham.ac.uk
- Budi AriefUniversity of KentGeverifieerd e-mailadres voor kent.ac.uk
- Andy WellingsProfessor of Real-Time Systems, RTSRG, University of YorkGeverifieerd e-mailadres voor york.ac.uk
- Paul WatsonProfessor of Computer Science, Newcastle UniversityGeverifieerd e-mailadres voor ncl.ac.uk
- Mark UttingThe University of QueenslandGeverifieerd e-mailadres voor uq.edu.au
- Tim MillerSchool of Electrical Engineering and Computer Science, The University of QueenslandGeverifieerd e-mailadres voor uq.edu.au
- Jan Tobias MuehlbergResearcher in Computer Science, Universite Libre Bruxelles & KU Leuven, BelgiumGeverifieerd e-mailadres voor ulb.be
Volgen
Leo Freitas
Senior Lecturer in Formal Methods and Tools, School of Computing Science, Newcastle University, UK
Geverifieerd e-mailadres voor newcastle.ac.uk