Crea il mio profilo
Accesso pubblico
Visualizza tutto11 articoli
1 articolo
Disponibili
Non disponibili
In base ai mandati di finanziamento
Coautori
- Jim WoodcockProfessor of Software Engineering, University of YorkEmail verificata su york.ac.uk
- Ana CavalcantiUniversity of YorkEmail verificata su cs.york.ac.uk
- Martin EmmsNewcastle UniversityEmail verificata su newcastle.ac.uk
- Andrius VelykisPhD Student, Newcastle UniversityEmail verificata su newcastle.ac.uk
- Andrew ButterfieldComputer Science, Trinity College DublinEmail verificata su tcd.ie
- Cliff B JonesProfessor of Computing Science, Newcastle University, UKEmail verificata su ncl.ac.uk
- Michael DrinnanTeesside UniversityEmail verificata su tees.ac.uk
- José Creissac CamposDepartment of Informatics, University of Minho & HASLab / INESC TECEmail verificata su di.uminho.pt
- Michael WhitakerNewcastle UniversityEmail verificata su ncl.ac.uk
- Paolo MasciResearch Scientist, Associate Principal, AMA/NASA Langley Research CenterEmail verificata su nasa.gov
- Michael HarrisonProfessor of Informatics, Newcastle UniversityEmail verificata su ncl.ac.uk
- Paolo ModestiSenior Lecturer in Cybersecurity, Teesside University, UK, EuropeEmail verificata su tees.ac.uk
- Costanzo Di MariaResearch Scientist, The Newcastle upon Tyne Hospitals NHS Foundation TrustEmail verificata su ncl.ac.uk
- Aad van MoorselProfessor of Computer Science, University of Birmingham, UKEmail verificata su bham.ac.uk
- Budi AriefUniversity of KentEmail verificata su kent.ac.uk
- Andy WellingsProfessor of Real-Time Systems, RTSRG, University of YorkEmail verificata su york.ac.uk
- Paul WatsonProfessor of Computer Science, Newcastle UniversityEmail verificata su ncl.ac.uk
- Mark UttingThe University of QueenslandEmail verificata su uq.edu.au
- Tim MillerSchool of Electrical Engineering and Computer Science, The University of QueenslandEmail verificata su uq.edu.au
- Jan Tobias MuehlbergResearcher in Computer Science, Universite Libre Bruxelles & KU Leuven, BelgiumEmail verificata su ulb.be
Segui
Leo Freitas
Senior Lecturer in Formal Methods and Tools, School of Computing Science, Newcastle University, UK
Email verificata su newcastle.ac.uk